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 transparent 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
Apply on Kit Job: kitjob.ca/job/2fsm25
📌 Remote Role for Formal Verification Scientist in Lean and Proofs (Vancouver)
🏢 Alignerr
📍 Vancouver
Reply to this offer
Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.