At a Glance
- Tasks: Conduct groundbreaking research in AI verification and program proof automation.
- Company: Join Meta, a leader in tech innovation and research.
- Benefits: Competitive salary, research opportunities, and collaboration with top scientists.
- Other info: Engage in a vibrant research community with excellent growth potential.
- Why this job: Shape the future of AI verification while working on cutting-edge projects.
- Qualifications: PhD in Computer Science or related field; experience with Lean and Separation Logic.
The predicted salary is between 40000 - 55000 £ per year.
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.
- 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 through written publications, technical reports, or presentations at academic or industry venues.
- Publication record at peer-reviewed AI or Verification/PL venues.
- Experience writing research-quality code, including reproducible experiment pipelines and analysis frameworks.
- Experience building AI agents, ML models and Benchmarks.
Postdoctoral Researcher, AI Verification, Separation Logic in Lean in London employer: Meta
Meta is an exceptional employer for a Postdoctoral Researcher in AI Verification, offering a vibrant work culture that fosters innovation and collaboration. Located in London, UK, employees benefit from access to cutting-edge research facilities and the opportunity to engage with leading experts in the field, ensuring meaningful contributions to the scientific community. With a strong emphasis on professional growth, Meta supports its researchers through mentorship, publication opportunities, and participation in influential seminars, making it an ideal environment for those passionate about advancing AI verification.
StudySmarter Expert Advice🤫
We think this is how you could land Postdoctoral Researcher, AI Verification, Separation Logic in Lean in London
✨Tip Number 1
Network like a pro! Reach out to researchers and professionals in the AI verification space. Attend conferences, seminars, or even online webinars to make connections. You never know who might have a lead on your dream job!
✨Tip Number 2
Show off your skills! Create a portfolio showcasing your research projects, especially those related to Lean and Separation Logic. This will give potential employers a taste of what you can bring to the table.
✨Tip Number 3
Don’t just apply; engage! When you find a position that excites you, reach out to the team or hiring manager. Ask insightful questions about their work and express your enthusiasm for contributing to their projects.
✨Tip Number 4
Apply through our website! We’ve got a streamlined process that makes it easy for you to submit your application. Plus, it shows you’re serious about joining our team at Meta.
We think you need these skills to ace Postdoctoral Researcher, AI Verification, Separation Logic in Lean in London
Some tips for your application 🫡
Tailor Your CV:Make sure your CV highlights your experience with Lean and Separation Logic. We want to see how your background aligns with the role, so don’t be shy about showcasing relevant projects or publications!
Craft a Compelling Cover Letter:Your cover letter is your chance to shine! Use it to explain why you’re passionate about AI verification and how you can contribute to our team. We love seeing enthusiasm and a clear understanding of the role.
Showcase Your Research Skills:Since this role involves original research, include examples of your past work that demonstrate your ability to conduct research and publish findings. We’re keen on seeing how you’ve tackled complex problems in the past!
Apply Through Our Website:Don’t forget to apply through our website! It’s the best way for us to keep track of your application and ensure it gets the attention it deserves. Plus, it makes the whole process smoother for everyone involved.
How to prepare for a job interview at Meta
✨Know Your Stuff
Make sure you brush up on your knowledge of Separation Logic and Lean. Familiarise yourself with recent advancements in program verification and AI. Being able to discuss these topics confidently will show that you're genuinely interested and well-prepared.
✨Showcase Your Research
Prepare to talk about your previous research experiences, especially any publications or projects related to AI or verification. Be ready to explain your contributions clearly and how they relate to the role. This is your chance to shine!
✨Collaborative Spirit
Since collaboration is key in this role, think of examples where you've worked effectively with others. Highlight your teamwork skills and how you've contributed to community efforts or joint projects. This will demonstrate that you can fit into their collaborative culture.
✨Ask Insightful Questions
Prepare some thoughtful questions about the team’s current projects or future directions in AI verification. This shows your enthusiasm for the role and helps you gauge if the position aligns with your career goals. Plus, it makes for a great conversation starter!
