Postdoctoral Researcher, AI Verification, Separation Logic in Lean

Benefits

Parental leave

Not verified

Non-birth-parent leave

Not verified

Family-building benefits

• Fertility benefits: Not verified
• Adoption assistance: Not verified
• Surrogacy assistance: Not verified

Mental health support

Not verified

Relocation assistance

Not verified

Childcare support

Not verified

Learning budget

Not verified

Verification

Not verified checked Jun 7, 2026

Salary

Not verified

401(k) match

Reported from DOL Form 5500 industry filing (not employer-specific)

Was this benefit information wrong? Tell us.

Market context

U.S. role benchmark (BLS OEWS)

$116,543 U.S. median for this role

Projected growth (BLS Employment Projections)

+9.8% - Much faster than average

Matched to SOC 15-1252 - Software Engineering aggregate by role bucket.

Source: U.S. Bureau of Labor Statistics, OEWS, May 2024 and Employment Projections, 2024-2034.

Role

Role function

Engineering From the posting source checked Jun 20, 2026

Seniority

Mid From the posting source checked Jun 20, 2026

Schedule

Shift type

Not verified

Weekend work

Not verified

Company

Equity

Offered Verified - SEC 10-K source checked Jun 20, 2026

Application

Cover letter

Not verified

Assessment

Not verified

Deadline

Not stated

Where they hire

State eligibility is not yet verified.

About this role

Postdoctoral Researcher, AI Verification, Separation Logic in Lean London, UK 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 the direction of verification by and for AI. Responsibilities: - Conduct original research on program verification, with emphasis on use of AI to discover proofs automatically - Work on embedding Separation Logic into the Lean proof assistant - Collaborate with or build on ongoing community efforts such as CSLib and Iris-Lean - Automate proofs of programs from leading research papers and textbooks, especially for concurrent programs. Investigate proof discovery beyond the leading edge - Develop evaluations and datasets to measure the effectiveness of proof methods - Collaborate with research scientists and engineers on problems related to data for machine learning algorithms and guardrails for AI agents - Author and co-author research papers for submission to peer-reviewed conferences and journals - Collaborate with Meta researchers and engineers on internal verification problems relevant to Meta - Participate in research community programs, seminars, and collaborative initiatives that strengthen the scientific culture of the team Minimum qualifications: - Currently has, or is in the process of obtaining, a PhD degree in Computer Science or a related field - Experience with Lean and/or Separation Logic - Experience communicating research findings

Read the full description at www.metacareers.com. FewerJobs shows a preview and links to the original posting.