Lean Formal Methods Researcher - Remote
Remote / Online - Candidates ideally in
QC, Canada
Listed on 2026-03-03
QC, Canada
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-03-03
Job specializations:
-
Engineering
-
Research/Development
Job Description & How to Apply Below
A leading formal verification organization is seeking an Applied Formal Methods Researcher to transform mathematical arguments into machine-verifiable proofs. The ideal candidate will have a Master's degree in a relevant field and experience with Lean, showcasing a passion for formal verification. This remote position offers competitive pay and the chance to work on innovative projects at the forefront of AI.
Join a collaborative team dedicated to advancing mechanized mathematics and enjoy flexible work conditions.
#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:
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:
×