A leading AI research partner is seeking a Lean 4 Proof Engineer specializing in mathematical formalization. This remote role focuses on translating informal proofs into precise, machine-verifiable structures. Ideal candidates possess a Master’s in Mathematics and have hands-on experience with proof assistants like Lean. The position offers competitive pay, flexible hours, and the opportunity to work at the cutting edge of AI research, collaborating with top researchers in the field. #J-18808-Ljbffr