theorem jobs in Mumbai

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematics into machine-verifiable Lean 4 proofs — working at the intersection of rigorous mathematics and cutting-edge AI research. This is a fully remote,...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — pushing the boundaries of what machines can verify, understand, and learn? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical...

NPCI is evolving the National Electronic Toll Collection (NETC) FASTag ecosystem into a next-generation, real-time, intelligent, and scalable national tolling and mobility platform.This role is responsible for architecting, building, and scaling stream‑processing and platform capabilities that operate at national scale across toll plazas, acquirer and...