A leading mathematics and AI firm is seeking a Lean 4 Proof Engineer for a remote role translating mathematical proofs into formalizations. The ideal candidate has a Master’s degree and experience in proof writing across various mathematical domains, with a strong preference for Lean 4 expertise. You will work independently in a flexible schedule, contributing to cutting-edge research in formal verification and automated reasoning for AI systems.
#J-18808-Ljbffr