Alignerr is seeking a Researcher for Lean 4 & Formal Proof Systems to translate complex mathematical arguments into machine-verifiable Lean 4 proofs. You will work on high-impact projects at the intersection of mathematics and AI.

The ideal candidate will have a Master's or higher in Mathematics and experience with proof systems such as Lean. Enjoy a fully remote role, shaping the future of formal verification.

Experience with AI training workflows is a plus, as well as strong communication skills.