Login to
Please Verify Your Phone or Email
We have sent an OTP to your contact. Please enter it below to verify.
Don't have an account yet? Sign up
Already have an account? Login
1 - 6 years
15.0 - 30.0 Lacs P.A.
Gurugram
Posted:3 weeks ago| Platform: 
Remote
Full Time
We're seeking PhD/MSc mathematicians with Lean (or similar) theorem prover experience to design and solve complex math problems, create clear solutions, and help evaluate AI models. LaTeX & visualization tools.Lean Tools Related to mathematics field.
Upload Resume
Drag or click to upload
Your data is secure with us, protected by advanced encryption.
Experience: Not specified
INR 1.0 - 2.75 Lacs P.A.
INR 15.0 - 30.0 Lacs P.A.
INR 9.0 - 15.0 Lacs P.A.
Vellore
INR 4.0 - 5.0 Lacs P.A.
Thane, Navi Mumbai, Mumbai (All Areas)
INR 40.0 - 70.0 Lacs P.A.
Noida, Kolkata
Experience: Not specified
INR 2.0 - 4.0 Lacs P.A.
INR 18.0 - 27.5 Lacs P.A.
Bengaluru
INR 90.0 - 200.0 Lacs P.A.
Hosur, Bengaluru
INR 5.0 - 10.0 Lacs P.A.
INR 6.0 - 7.0 Lacs P.A.
