Job Description

A mathematical modeling organization in Toronto is seeking a Mathematical Formalization Specialist with expertise in Lean and formal proof systems. This role involves translating informal mathematical arguments into structured formal proofs and collaborating with researchers to enhance verification pipelines. Ideal candidates will have a master's degree in a related field, hands-on experience with Lean, and a strong passion for formal verification. This position offers a unique opportunity to work at the frontier of mechanized mathematics.
#J-18808-Ljbffr

Ready to Apply?

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

Submit Application