More jobs:
Remote Researcher: Lean 4 & Formal Proof Systems
Remote / Online - Candidates ideally in
England, UK
Listed on 2026-08-03
England, UK
Listing for:
Alignerr
Full Time, Part Time, Remote/Work from Home
position Listed on 2026-08-03
Job specializations:
-
Research/Development
Research Scientist
Job Description & How to Apply Below
Alignerr is seeking a Researcher to translate advanced mathematical proofs into Lean 4 formalizations and to explore the edges of automated verification. This is a fully remote, hourly contract role with 10–40 hours per week, ideal for researchers who enjoy rigor and structured problem solving.
Applicants should hold a Master's or higher in mathematics or related field, with strong proof-writing skills and experience with Lean (3/4 or
4) or other proof systems.
Note 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:
×