Job Description

A leading AI research firm is seeking a Lean 4 Proof Engineer specializing in mathematical formalization. This remote position offers $70–$150 per hour for mathematicians passionate about formal verification. Candidates should have a Master’s degree in Mathematics or a related field, with preferred experience in Lean and rigorous proof writing. Join a team working on cutting-edge AI models and enjoy competitive pay, autonomy, and the potential for contract extension.
#J-18808-Ljbffr

Ready to Apply?

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

Submit Application