Start Your Search Here

Job Search

Alignerr Corp.

Calgary / Global

Remote Lean 4 Proof Engineer Role

  • Remote

Job Summary

Job Type:
Contract
Work Settings:
Remote
Apply Now

Job Description

Shape the future of AI and mathematics as a Lean 4 Proof Engineer with Alignerr. This remote contract position invites mathematicians to craft machine-verifiable proofs for innovative AI research.

As a Proof Engineer, you will be responsible for translating complex mathematical arguments into structured Lean 4 formalizations. This role requires an expert in formal verification to analyze proofs, identify assumptions, and construct high-quality proofs that stretch current automated provers. A flexible commitment of 10-40 hours per week makes this an ideal role for those who enjoy the challenge of mechanizing mathematical concepts.

Key Responsibilities:

• Translate informal proofs into Lean 4 formalizations

• Analyze and identify gaps in mathematical arguments

• Construct proofs that push automated proving boundaries

• Collaborate to refine formal verification methodologies

• Formalize traditional proofs and innovate Lean structures

Requirements:

• Master’s degree in Mathematics or related field

• Experience with Lean, Coq, or similar proof systems

• Strong skills in writing rigorous mathematical proofs

• Enthusiasm for formal verification and mechanization

• Ability to work autonomously in a remote setting

Engage with cutting-edge AI and mathematics to create formal proof systems with Alignerr!

#J-18808-Ljbffr

Apply Now

Similar Opportunities

View all jobs