Lean Proof Architect: Formalize Advanced Math
Job in
Vancouver, BC, Canada
Listing for:
Alignerr
Full Time
position
Listed on 2026-02-28
Job specializations:
-
Engineering
Mathematics
-
Education / Teaching
Mathematics
Salary/Wage Range or Industry Benchmark: 80000 - 100000 CAD Yearly
CAD
80000.00
100000.00
YEAR
Job Description & How to Apply Below
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
Note that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
