Remote Lean Researcher — Formal Proof Systems
Remote / Online - Candidates ideally in
Birmingham, West Midlands, B1, England, UK
Listed on 2026-06-06
Birmingham, West Midlands, B1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-06
Job specializations:
-
Research/Development
Job Description & How to Apply Below
Alignerr is seeking a Researcher specializing in Lean 4 and formal proof systems to transform complex mathematical arguments into machine-verifiable proofs. You will work with AI researchers in a fully remote setup, tackling intricate problems in formal verification.
The ideal candidate will hold a Master's degree in Mathematics or a related field and have hands-on experience with Lean. This role offers freelancers the flexibility to work independently while contributing to meaningful AI research.
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×