Job Description

A leading AI and mathematics firm in Metro Vancouver seeks a Mathematical Formalization Specialist to translate informal proofs into formal, machine-verifiable structures. Candidates should have a Master’s degree in Mathematics and strong experience with proof assistants like Lean. The role involves developing formalizations that extend the capabilities of existing verification tools while collaborating with other researchers. This position is ideal for problem solvers passionate about mechanized mathematics and formal verification.
#J-18808-Ljbffr

Ready to Apply?

Take the next step in your AI career. Submit your application to Alignerr today.

Submit Application