Tailor CV
☰ Menu
Back to jobs
Scientific & QA Jobs

Postdoctoral Researcher, AI Verification, Separation Logic in Lean

Meta • London, UK

Salary
£50k – £50k
Posted
5 June 2026
Sponsor match
medium
Skilled WorkerWorker (A rating)
Summary: Meta is seeking a Postdoctoral Researcher to advance research in program verification. In this role, you will conduct original research focused on embedding Separation Logic into the Lean proof assistant. You will collaborate with research scientists and engineers to publish high-impact work, develop prototype systems, and contribute to the broader scientific community while helping shape
Apply on Adzuna← More roles
Before you apply

Applying for this sponsor role?

Get your CV, cover letter, or full sponsor-job application pack prepared before you apply — or let our dedicated application team apply for suitable roles on your behalf.

Tailor my CVApply for me
Meta is listed on the UK Home Office register of licensed sponsors for the Skilled Worker visa route. Always confirm sponsorship availability directly with the employer when you apply.