Job Description

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

Ready to Apply?

Take the next step in your AI career. Submit your application to Alignerr today.

Submit Application