theorem jobs in Delhi

About The Role What if your deep mathematical training could directly shape how AI reasons about truth, proof, and knowledge? We're looking for Formal Verification Scientists to translate advanced human mathematics into machine-verifiable Lean proofs — working at the very frontier of what proof assistants can express, capture, and automate. This is a...

About The Role Mathematics can either be a student’s favorite subject or their biggest anxiety. We are looking for an inspiring Mathematics teacher who can remove math phobia, make algebra and geometry engaging, and build unwavering confidence in Class 9th and 10th students preparing for CBSE board examinations. What You’ll Work On • Deliver...

About The Role What if your deep mathematical training could directly shape how AI reasons, proves, and understands the most complex ideas in human knowledge? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — helping map the frontier of what machines can verify, and building the foundation for the...