A cutting-edge AI firm is seeking a Researcher specializing in Lean 4 & Formal Proof Systems. The ideal candidate will translate informal mathematical proofs into precise formalizations and possess a Master’s degree in Mathematics or a related field. This role emphasizes rigorous proof writing and collaboration with AI researchers. Offers competitive pay along with flexible remote work arrangements, making it an ideal opportunity for passionate mathematicians looking to impact AI research.
#J-18808-Ljbffr
- Location:
- Manchester, England, United Kingdom
- Salary:
- £40,000 - £60,000
- Job Type:
-
FullTime
- Category:
-
IT & Technology