More jobs:
Remote Lean Formal Proof Researcher AI
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
Remote/Work from Home
position Listed on 2026-06-14
Job specializations:
-
Research/Development
AI Evaluation
Job Description & How to Apply Below
Alignerr is seeking a Researcher in Lean 4 & Formal Proof Systems to work remotely. You will translate complex mathematical proofs into Lean 4 formalizations, collaborating with AI researchers. Ideal candidates hold a Master's in a relevant field and have a strong foundation in proof writing and formal verification.
This role provides flexibility to work asynchronously, with opportunities for further contract extensions on impactful research projects in AI.
#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:
×