Meta - United Kingdom, IT - Software Development, On-site work

Meta seeks a Postdoctoral Researcher in London to advance AI verification by embedding Separation Logic into the Lean proof assistant. You will conduct original research, automate proofs for concurrent programs, and develop datasets to measure proof methods. Requires a PhD in Computer Science wit...

Lead generative AI research for video ad creation at Meta’s MGenAI in London. We seek a PhD-level scientist with first-author publications at NeurIPS, CVPR, or ICML, and 3+ years in generative AI. Drive breakthroughs in diffusion models and multimodal LLMs for real-world ad products. Join a top t...