Formal Verification Scientist (Lean 4 & Mathlib)

$170–$200/hrAlignerrJob location: SheffieldRemoteLocation requirements not specified

About the role

Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4 — fully remote, deeply meaningful, exceptionally pa...

The platform supplies a short summary. Read the full requirements on the original listing.

Applicant countries
Location requirements not specified

The source does not specify which countries applicants may live or work in. Check the original listing. Remote work and the advertised job location do not establish applicant eligibility.

Work arrangement
Remote
Advertised job location
Sheffield
Originally posted
Not supplied
Last checked
2026-11-03 15:00 UTC
Apply on Alignerr ↗
More roles in this specialty →