Remote Formal Verification Scientist (Lean 4 & Mathlib)

A leading AI research partner is looking for a Formal Verification Scientist to work remotely. The ideal candidate will have a Master’s degree and experience in Lean or similar systems, focusing on translating mathematical arguments into formal proofs. Key responsibilities include analyzing proofs, collaborating on verification strategies, and enhancing formal verification processes. This position offers competitive pay, freelance flexibility, and the opportunity to work on cutting-edge AI projects. #J-18808-Ljbffr