Job Description & How to Apply Below
A leading AI research partner is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into formal verifications using Lean. This role involves analyzing proofs, collaborating with researchers, and developing high-quality formalization. The ideal candidate has a master's degree in mathematics or related fields, strong skills in rigorous proofs, and experience with proof systems like Lean. Flexible remote work and competitive pay offered.
#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:
×