hirly
Sign inGet started free

Alignerr

Applied Formal Methods Researcher (Lean 4)

Mumbai, Maharashtra, India

hirly Pro

Get in front of the people hiring at Alignerr

  • Reach the hiring manager at Alignerr on LinkedIn, from your own account
  • hirly applies to this job for you, with unlimited applications
  • A resume and cover letter written for this job, unlimited
  • The hiring manager and recruiter at Alignerr, with contact details
Get Pro for this job →

$49 a month · ₹1,999 for 30 days in India · cancel any time

See how you match this job — and similar ones. Free.

Upload your resume and hirly scores it against this role at Alignerr first, then against similar open jobs, and shows where you fit and why.

PDF or DOCX, up to 12MB. No sign-up to see your matches.

Get past the screening software and onto a recruiter's desk

hirly rewrites your resume for this job — matching the keywords and skills in the posting, moving your most relevant experience to the top, and writing a cover letter to fit. About 30 seconds.

  • Keywords matched to this posting
  • Fit score before you apply
  • Cover letter included

Matched against 2.7M live jobs from 210,000+ employers in 200+ countries.

Tailor my resume for this job →

Apply from your AI assistant

Connect hirly to Claude or ChatGPT and ask it to apply to this job. hirly tailors your resume, fills the employer’s form and asks before sending.

See how it works

Some employer sites stop an application at a CAPTCHA or sign-in and hand it back with a link. Applying needs a paid plan. Works with any assistant that supports MCP.

hirly's read of this role

Seniority
Mid level
Country
IN
Work mode
On-site / unstated
First seen by hirly
20 Oct 2026

Derived automatically from the posting. Upload your resume above to see how the role scores against it.

the posting

About The Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in mathematics? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — working at the exact boundary where human mathematical intuition meets machine-verifiable logic. This is a fully remote, flexible contract role for mathematicians who are passionate about formal verification and excited to push the limits of what proof assis…

Original posting on Alignerr's site ↗

Listed on hirly, a job board. hirly is not the employer: Alignerr is hiring for this role.

Browse similar roles

Want this one?

Upload your resume and hirly rewrites it for this job and writes the cover letter — in about thirty seconds, before you sign up.

Tailor my resume for this job