More jobs:
Lean Formal Methods Researcher — Remote
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
Contract, Remote/Work from Home
position Listed on 2026-06-06
Job specializations:
-
IT/Tech
Data Scientist, Data Analyst -
Research/Development
Data Scientist
Job Description & How to Apply Below
Alignerr is seeking an Applied Formal Methods Researcher to translate deep mathematical proofs into machine-verifiable formats using Lean 4. You'll analyze existing proofs, collaborate with researchers to improve formal verification, and contribute to cutting-edge AI research.
If you hold a Master’s or higher in Mathematics or a related field and have hands-on experience with formal proof systems, you're encouraged to apply. This fully remote role offers flexibility and the opportunity to work on meaningful projects at the forefront of 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:
×