Lean 4 Formal Methods Researcher - Remote

Alignerr

📍 WorkFromHome, Nelson, New-Zealand 💼 Full-time 🕒 Posted March 02, 2026

Apply Now Similar Jobs

Job Description

                A pioneering mathematics organization is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into machine-verifiable formats. The role offers competitive pay and flexibility for remote work with a focus on collaboration in cutting-edge AI projects. Ideal candidates will have a Master's degree in Mathematics or a closely related field and hands-on experience with formal proof systems like Lean. Join a team dedicated to advancing mechanized mathematics.
#J-18808-Ljbffr
            

Ready to Apply?

Submit your application today and join our talented team at Alignerr.

Submit Application

Job Details

Location WorkFromHome, Nelson
Job Type Full-time
Category IT & Technology
Posted Date March 02, 2026
Application Deadline April 11, 2026