More jobs:
Remote Lean Formal Methods Researcher
Remote / Online - Candidates ideally in
Birmingham, West Midlands, B1, England, UK
Listed on 2026-06-14
Birmingham, West Midlands, B1, England, UK
Listing for:
Alignerr
Contract, Remote/Work from Home
position Listed on 2026-06-14
Job specializations:
-
Engineering
Artificial Intelligence -
Research/Development
Artificial Intelligence
Job Description & How to Apply Below
Alignerr is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into machine-verifiable Lean 4 formalizations. This remote role offers flexibility in work hours, requiring expertise in rigorous proof writing and formal verification processes.
The ideal candidate should hold a Master's degree in a relevant field, have experience with Lean 4 and similar systems, and be detail-oriented. Join us at the forefront of AI research and contribute to groundbreaking advancements in mathematical reasoning.
#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:
×