Alignerr is seeking a Lean 4 Proof Engineer to translate rigorous mathematical arguments into machine-verifiable formalizations. You will work at the edge of what proof assistants can express, ensuring correctness, clarity, and reproducibility in Lean 4 formalizations.
The role is a fully remote, hourly contract for mathematicians who value precision, structure, and the future of mechanized mathematics. Expect 10-40 hours per week with flexible scheduling and collaboration with AI researchers.
Remote Lean 4 Proof Engineer for Mathematical Formalization in Birmingham employer: Alignerr
Alignerr offers an exceptional work environment for a Remote Senior Software Engineer, providing the flexibility of fully remote work while engaging in cutting-edge AI technology. With a strong emphasis on collaboration and innovation, employees are encouraged to grow their skills through meaningful projects that shape the future of coding systems. The company fosters a culture of creativity and support, making it an ideal place for those looking to make a significant impact in the tech industry.
