More jobs:
Postdoc: AI-Driven Verification in Lean & Separation Logic
Job in
Greater London, London, Greater London, W1B, England, UK
Listed on 2026-06-08
Listing for:
Meta
Full Time
position Listed on 2026-06-08
Job specializations:
-
Research/Development
Data Scientist
Job Description & How to Apply Below
Meta is looking for a Postdoctoral Researcher to advance research in program verification. You will conduct original research, focusing on embedding Separation Logic into the Lean proof assistant, and collaborate with scientists to publish high-impact work.
Ideal candidates are pursuing or have completed a PhD in Computer Science, possess experience with Lean, and can communicate research findings effectively. This role offers an exciting opportunity to engage in cutting-edge AI research.
#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:
×