More jobs:
Remote Lean Formal Methods Researcher
Remote / Online - Candidates ideally in
Birmingham, West Midlands, B1, England, UK
Listed on 2026-03-08
Birmingham, West Midlands, B1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-03-08
Job specializations:
-
Research/Development
Data Scientist
Job Description & How to Apply Below
A leading AI research partner is seeking an Applied Formal Methods Researcher to work remotely. You will leverage your expertise in mathematics and formal proof languages like Lean to transform informal proofs into formal, machine-verifiable structures. Strong analytical skills and a Master’s degree in a related field are essential.
This role offers competitive compensation and the opportunity to work on groundbreaking AI projects with a flexible schedule.
#J-18808-Ljbffr
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:
×