Lean 4 Formal Methods Researcher - Remote

Alignerr

📍 WorkFromHome, Waikato, New-Zealand 💼 Full-time 🕒 Posted February 26, 2026

Apply Now Similar Jobs

Job Description

                A leading technology company is seeking an Applied Formal Methods Researcher to work remotely in Wellington, New Zealand. This role involves translating informal mathematical proofs into formal verifications using Lean, with a focus on clarity and correctness. The ideal candidate will have a Master's degree in Mathematics or a related field, strong proof writing skills, and experience with formal proof languages. Competitive compensation of $70–$150 per hour is offered, depending on experience and commitment.
#J-18808-Ljbffr
            

Ready to Apply?

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

Submit Application

Job Details

Location WorkFromHome, Waikato
Job Type Full-time
Category IT & Technology
Posted Date February 26, 2026
Application Deadline April 07, 2026