×
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 Data Scientist

Remote Lean Formal Methods Researcher

Remote / Online - Candidates ideally in
Vancouver, BC, Canada
Listing for: Alignerr
Remote/Work from Home position
Listed on 2026-03-08
Job specializations:
  • Science
    Mathematics, Data Scientist
Salary/Wage Range or Industry Benchmark: 30000 - 60000 CAD Yearly CAD 30000.00 60000.00 YEAR
Job Description & How to Apply Below
Position: Remote Lean 4 Formal Methods Researcher
A cutting-edge AI research partner is seeking an Applied Formal Methods Researcher to translate and formalize mathematical proofs into machine-verifiable structures using Lean 4. The ideal candidate will possess a Master's degree in Mathematics and hands-on experience with formal proof languages.

This role offers competitive pay, flexible remote work, and the opportunity to collaborate on advanced AI projects. If you enjoy precise mathematical challenges, apply now to join this innovative team.
#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