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.