A leading AI research firm seeks a Lean 4 Proof Engineer to translate informal mathematical proofs into formalizations using Lean. The ideal candidate holds a Master’s degree in Mathematics or related fields, has robust skills in proof writing, and experience with formal proof languages. Enjoy competitive pay, flexible remote work, and collaboration on cutting-edge AI projects in this entry-level contract role. #J-18808-Ljbffr