More jobs:
Remote Lean Mathematician - AI Foundations & Proofs
Job in
Greater London, London, Greater London, W1B, England, UK
Listed on 2026-06-30
Listing for:
Alignerr
Full Time
position Listed on 2026-06-30
Job specializations:
-
Energy/Power Generation
Mathematics
Job Description & How to Apply Below
Location: Greater London
Alignerr is seeking a mathematician to work remotely and flexibly on foundational AI research. You will formalize advanced mathematical arguments using Lean 4, contribute to mathematical libraries, and work on cutting-edge AI projects.
The ideal candidate holds a Master's or PhD in Mathematics, has a strong background in proof writing, and is self-motivated. This role offers the autonomy of freelance work while engaging in deep, meaningful technical projects.
#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:
×