A leading AI research firm seeks a Lean 4 Proof Engineer to formalize advanced mathematical proofs for cutting-edge AI research. Ideal candidates should have a master's degree in Mathematics or a related field, experience with Lean, and a passion for formal verification. This role allows you to work remotely while contributing to significant AI projects, offering competitive pay and flexible hours. Join our team at the frontier of mechanized mathematics. #J-18808-Ljbffr