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
