Remote Lean Researcher — Formal Proof Architect
Remote / Online - Candidates ideally in
QC, Canada
Listed on 2026-02-28
QC, Canada
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-28
Job specializations:
-
Education / Teaching
Job Description & How to Apply Below
A technology-focused research company is seeking a Researcher specializing in Lean 4 and Formal Proof Systems to translate informal proofs into structured formal proofs. Ideal candidates should have a Master's degree in Mathematics and hands-on experience with proof languages like Lean, Coq, or Isabelle/HOL. The role offers competitive hourly compensation, flexible remote work, and the opportunity to work on cutting-edge AI projects.
Candidates passionate about formal verification and the future of mechanized mathematics are encouraged to apply.
#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:
×