Remote Lean 4 Formalization Scientist for AI Proofs

Alignerr is seeking a Formal Verification Scientist to translate complex mathematical arguments into Lean 4 proofs. In this fully remote role, you’ll work on intellectually demanding problems, collaborating with AI researchers to enhance formal verification pipelines.

The ideal candidate holds a Master’s degree in Mathematics or a related field, with deep knowledge in rigorous proof writing and experience with Lean 4 or comparable systems. This is a flexible contract position offering autonomy and the chance to contribute to high-impact AI research.

#J-18808-Ljbffr…