Remote Applied Formal Methods Researcher (British Columbia)

Shape the future of AI reasoning with your expertise in mathematics as an Applied Formal Methods Researcher at Alignerr. This remote role focuses on translating informal proofs into Lean 4 formalizations. In this contract position, you will utilize your deep mathematical skills to analyze proofs, identify hidden assumptions, and develop precise, machine-verifiable structures using Lean 4. This is ideal for mathematicians passionate about formal verification, with a commitment of 10–40 hours weekly. Key Responsibilities: • Translate informal proofs into structured Lean 4 format • Identify hidden assumptions and gaps in proofs • Construct formalizations that challenge existing proof assistants • Collaborate with AI researchers on formal verification • Develop readable proof scripts in alignment with best practices Requirements: • Master's degree in Mathematics or related field • Solid foundation in rigorous proof construction • Experience with Lean 4, Coq, or similar systems • Enthusiastic about proof assistants and mechanized math • Detail-oriented with a high tolerance for complexity Exert your mathematical expertise with Lean 4 in groundbreaking AI projects at Alignerr. #J-18808-Ljbffr Apply on Kit Job: kitjob.ca/job/2q2s9k