Remote Lean 4 Researcher – Formal Proof Systems

Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs for AI training. This fully remote hourly contract focuses on formal verification at the edge of proof systems, requiring rigorous reasoning and independent work across problems.

Candidates should have a strong math background, experience with Lean/Coq/Isabelle, and a passion for mechanized mathematics. Flexible hours across 10–40 weekly hours are offered.

#J-18808-Ljbffr…