Remote Lean Proof Engineer: Formalize Advanced Math
Job Description & How to Apply Below
A leading AI research company is seeking a Lean 4 Proof Engineer for a remote position. The ideal candidate will have a Master's degree in Mathematics and expertise in formal proof languages, particularly Lean. Responsibilities include translating informal proofs into precise formalizations, collaborating with researchers, and improving verification processes. The role offers competitive hourly pay and flexible remote work arrangements, providing a unique 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:
×