More jobs:
Lean Formal Methods Researcher - Remote
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-02-24
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr Corp.
Remote/Work from Home
position Listed on 2026-02-24
Job specializations:
-
Research/Development
Data Scientist -
IT/Tech
Data Scientist
Job Description & How to Apply Below
A leading technology organization is seeking an Applied Formal Methods Researcher to translate mathematical proofs into formal, machine-verifiable structures using Lean. This remote role requires a Master’s degree in a relevant field, along with strong experience in proof writing and formal verification. Candidates will analyze proofs, collaborate on research, and contribute to advanced AI projects. The position offers competitive pay and freelance perks, including flexibility and autonomy.
#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:
×