A cutting-edge AI company is seeking a talented mathematician with expertise in formal verification to join their remote team. The ideal candidate will have a Master’s degree or higher and strong experience in writing formal proofs using Lean and related systems. Responsibilities include translating informal proofs, exploring the limits of proof assistants, and collaborating on groundbreaking AI projects. The role offers competitive pay, flexibility, and opportunities for further development. #J-18808-Ljbffr