More jobs:
Remote Lean Proof Engineer: Formalize Advanced Math
Job Description & How to Apply Below
A leading AI research collaboration partner is seeking a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating and formalizing informal mathematical proofs into Lean, while collaborating with researchers on advanced proof assistants. The ideal candidate will have a Master's degree in Mathematics, strong proof writing skills, and hands-on experience with Lean or similar proof systems. This position offers competitive pay, flexible remote work, and the opportunity to work on cutting-edge AI projects.
#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:
×