Remote Lean 4 Formal Methods Researcher (Contract)

Alignerr is seeking an Applied Formal Methods Researcher to work fully remote on shaping AI’s understanding of complex proofs. This role involves translating informal proofs into formal Lean 4 structures, analyzing gaps, and collaborating with researchers.

The ideal candidate holds a Master’s degree in Mathematics or a related field and has hands-on experience with formal systems like Lean 4. Join us for flexible work hours and participate in innovative AI projects.