Job Description

Alignerr is seeking Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, pushing the boundaries of what proof assistants can express and automate.

Work remotely on AI-driven verification projects, collaborating with researchers to refine strategies for scalable formalization. This hourly contract offers flexible 10–40 hours per week and a chance to contribute to frontier research in formal mathematics.

#J-18808-Ljbffr

Ready to Apply?

Take the next step in your AI career. Submit your application to Alignerr today.

Submit Application