More jobs:
Remote Lean Researcher: Formal Proofs AI
Remote / Online - Candidates ideally in
Birmingham, West Midlands, B1, England, UK
Listed on 2026-07-28
Birmingham, West Midlands, B1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-07-28
Job specializations:
-
Research/Development
AI Business & Operations
Job Description & How to Apply Below
Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs, pushing formal systems beyond current limits. This is a fully remote, hourly contract role for researchers who enjoy precision and abstract reasoning.
You will translate informal proofs, analyze substructures, and collaborate with AI researchers to improve verification pipelines. Remote, flexible hours, 10–40 weekly, freelance autonomy.
#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:
×