This Job position is no longer available

We encourage you to browse other open positions on our website.

Thank you for your interest!

Remote Lean 4 & Formal Proof Researcher

1 Days Old

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
Job Type:
FullTime
Category:
IT & Technology

We found some similar jobs based on your search