A leading AI research firm is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into formal verifiable structures. The ideal candidate should have a Master's degree in Mathematics or a related field with hands-on experience in Lean, Coq, or similar systems, and a strong passion for formal verification. This remote position offers competitive pay ranging from $70 to $150 per hour, providing flexibility and the chance to work on cutting-edge projects in AI research. #J-18808-Ljbffr