Mathematics Researcher Lean Proofs

Position: Mathematics Researcher for Lean 4 Proofs
Leverage your mathematical prowess to redefine AI reasoning as a Remote Applied Formal Methods Researcher s flexible contract role focuses on crafting Lean 4 formal proofs and structures.

As an integral member of the team, you will convert informal proofs into machine-verifiable formalizations, highlighting gaps and assumptions during analysis. Perfect for mathematicians seeking flexible work (10–40 hours/week) while advancing formal verification.

Key Responsibilities:

• Translate informal mathematical arguments into Lean 4 proofs

• Analyze and identify gaps within mathematical proofs

• Create formalizations that push existing assistant boundaries

• Collaborate with AI teams to refine verification processes

• Design clear proof scripts following mathematical best practices

Requirements:

• Master’s degree in Mathematics or related discipline

• Strong background in proof construction

• Experience with Lean (especially Lean
4), Coq, or similar

• Passionate about formal verification and proof methodologies

• Detail-focused, able to handle structural complexities

Transform the landscape of mechanized mathematics with your skills at Alignerr.
#J-18808-Ljbffr