A cutting-edge AI research company is seeking a Researcher to develop formal proofs in Lean for advanced AI projects. The ideal candidate will have a Master's degree in Mathematics or a closely related field and experience with proof mining using Lean. Responsibilities include translating informal proofs into formal structures, analyzing mathematical arguments, and collaborating with researchers. This role offers a competitive hourly rate and flexible remote work arrangements.
#J-18808-Ljbffr
- Location:
- Manchester, England, United Kingdom
- Salary:
- £40,000 - £60,000
- Job Type:
-
FullTime
- Category:
-
IT & Technology