Jobs
Interviews

1 Hol Jobs

Setup a job Alert
JobPe aggregates results for easy application access, but you actually apply on the job portal directly.

Crossing Hurdles logo
Mathematics Researcher(Lean Theorem Proving Specialist) Crossing Hurdles

1 - 6 years

15 - 30 Lacs

Gurugram

Remote

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.

Posted 2 months ago

Apply
cta

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.

Job Application AI Bot

Job Application AI Bot

Apply to 20+ Portals in one click

Download Now

Download the Mobile App

Instantly access job listings, apply easily, and track applications.

Google Play App Store

Featured Companies

View All Companies