Remote Lean 4 Proof Engineer: Formalize Advanced Math

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