More jobs:
Lean Formal Methods Researcher; Remote
Remote / Online - Candidates ideally in
QC, Canada
Listed on 2026-02-11
QC, Canada
Listing for:
Alignerr
Contract, Remote/Work from Home
position Listed on 2026-02-11
Job specializations:
-
Research/Development
Research Scientist, Mathematics
Job Description & How to Apply Below
A forward-thinking AI research firm is seeking an Applied Formal Methods Researcher to work remotely. Ideal candidates hold a Master’s degree in Mathematics and are skilled in rigorous proof writing, particularly with Lean. Responsibilities include translating informal proofs into formal structures, analyzing mathematical arguments, and collaborating on formal verification strategies. Enjoy competitive pay, project autonomy, and the chance to contribute to cutting-edge AI models in a flexible work environment.
#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:
×