Full-time
Remote Lean 4 Proof Engineer: Formalize Advanced Math
Posted by Alignerr • Oxford, England, United-Kingdom
About the Role
A leading AI research collaborator is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. This role is perfect for mathematicians passionate about formal verification. Responsibilities include translating informal mathematical arguments into structured proofs in Lean, collaborating on formal verification processes, and pushing the boundaries of existing proof assistants. The ideal candidate holds a Master's degree in Mathematics and has a strong background in rigorous proof writing. The position offers competitive hourly pay with flexible remote work options, making it an excellent opportunity for deep thinkers in the mathematical domain.
#J-18808-Ljbffr
#J-18808-Ljbffr
Ready to Apply?
Submit your application today and take the next step in your career journey with Alignerr.
Apply Now