Remote Lean 4 Researcher in Formal Proof Systems

Alignerr is seeking a researcher to translate informal mathematics into Lean 4 formal proofs, advancing AI’s handling of formal reasoning. You’ll work remotely on rigorous, machine-checkable formalizations and contribute to the development of verification pipelines with leading AI researchers.

You will analyze proofs, write readable Lean code, and push the boundaries of what proof assistants can automate, with a flexible hour-based contract and opportunities for ongoing collaboration.

#J-18808-Ljbffr…