Home
Jobs

Mathematics Researcher with Lean theorem

0 - 5 years

1 - 2 Lacs

Posted:1 month ago| Platform: Naukri logo

Apply

Work Mode

Remote

Job Type

Full Time

Job Description

Evening shift starting from 8:30 pm onwards. What does day-to-day look like: Design and solve challenging math problems that expose weaknesses in large language models. Create high-quality, step-by-step solutions with clear reasoning and multimodal support (equations, visuals, graphs, simulations). Collaborate with founders to align problem types with model evaluation goals, particularly in topics where models typically fail (e.g., abstraction, multi-step reasoning, symbolic manipulation). Help define new evaluation benchmarks inspired by high-school olympiad math, early undergrad curriculum, and theoretical mathematics. Mentor/coach or review work from other math contributors or junior collaborators. Requirements: PhD (or strong MSc) in Mathematics or a closely related field. Strong problem-solving backgroundcomfortable designing and solving non-standard problems. Excellent communication and writing skills, especially in explaining step-by-step mathematical reasoning. Experience with Lean tool (highly preferred) or Coq, Isabelle, HOL Light, or other similar theorem provers Familiarity with LaTeX and math visualization tools (Desmos, GeoGebra, Python/Matplotlib, etc.). Nice-to-Have experience with Olympiad level competitions (as a contestant, coach, or problem-setter) Exposure to AI/LLM research, especially on evaluation or reasoning tasks. Technical Setup: Desktop/Laptop with reliable internet connection and necessary software for mathematical computations, visual content creation, simulations, and online collaboration.

Mock Interview

Practice Video Interview with JobPe AI

Start Mathematics Researcher Interview Now
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.

coding practice

Enhance Your Python Skills

Practice Python coding challenges to boost your skills

Start Practicing Python Now
Delta System And Software
Delta System And Software

Software Development

Innovation City

50-100 Employees

21 Jobs

    Key People

  • John Doe

    CEO
  • Jane Smith

    CTO

RecommendedJobs for You