×
Apply for Jobs Apply for Jobs Post a Job Post a Job Local Jobs Home
Register Here to Apply for Jobs or Post Jobs. X
More jobs:
Mathematics

Lean Proof Architect: Formalize Advanced Math

Job in Toronto, Ontario, C6A, Canada
Listing for: Alignerr
Full Time position
Listed on 2026-02-21
Job specializations:
  • Engineering
    Mathematics
Salary/Wage Range or Industry Benchmark: 80000 - 100000 CAD Yearly CAD 80000.00 100000.00 YEAR
Job Description & How to Apply Below
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
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:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary
Advanced Search