Remote Role for Formal Verification Scientist in Lean and Proofs

Dive into a remote Formal Verification Scientist position specializing in Lean and advanced mathematical proofs. Enable groundbreaking AI research by formalizing complex mathematical concepts.

This role is for a mathematically mature individual with a Master's degree in Mathematics or a similar field, keen on rigorous proof construction. You will convert informal mathematical arguments into formal proofs, guiding research teams in enhancing verification methodologies. This collaboration will enable explorations beyond the current limitations of automated proof systems, merging mathematical elegance with machine understanding.

Key Responsibilities :

• Translate informal proofs into formal Lean structures
• Assess proofs for hidden assumptions and gaps
• Build formalizations that push proof assistant boundaries
• Collaborate on improving verification strategies
• Produce reproducible and clear proof scripts in line with standards

Requirements :

• Master’s degree in Mathematics, Logic, or closely related
• Solid grounding in rigorous mathematical reasoning
• Hands-on experience with Lean or equivalent systems
• Passion for formal verification and mechanized proofs
• Ability to refine informal arguments into formal proofs

Leverage your mathematical talents to shape the future of formal verification and contribute to pioneering AI research efforts.

J-18808-Ljbffr