More jobs:
Remote Lean Formal Methods Researcher
Job Description & How to Apply Below
A leading AI research firm in Canada is seeking an Applied Formal Methods Researcher to help translate informal proofs into formalizations using Lean. This role requires a Master's degree or higher in a related field, with strong skills in rigorous proof writing. The position offers competitive pay ranging from $70 to $150 per hour and flexible remote work, allowing for 10–40 hours per week commitment, and the potential for contract extension.
#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:
×