Lean Formal Methods Researcher - Remote
Job Description & How to Apply Below
A leading research organization is looking for an Applied Formal Methods Researcher to translate informal mathematical proofs into Lean. This role involves analyzing proofs, improving verification strategies, and contributing to cutting-edge AI projects. A Master's degree in a relevant field and experience with formal proof languages are essential. The organization offers competitive pay with flexible remote work opportunities and a collaborative environment focused on mechanized mathematics.
#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:
×