Job Description

A leading AI research collaboration seeks a mathematician skilled in formal verification. The role involves translating informal proofs into Lean, analyzing gaps in proofs, and collaborating on AI projects. Candidates should possess a Master’s degree or higher in Mathematics and a strong foundation in rigorous proof writing. This position offers competitive pay, flexible remote work, and the chance to work with cutting-edge AI models at the frontier of mechanized mathematics.
#J-18808-Ljbffr

Apply for this Position

Ready to join Alignerr? Click the button below to submit your application.

Submit Application