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 35000 - 45000 £ 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 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 looking to advance their careers in AI and program verification.
StudySmarter Expert Advice🤫
We think this is how you could land Postdoctoral Researcher, AI Verification, Separation Logic in Lean
✨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 and advancing research in AI verification.
We think you need these skills to ace Postdoctoral Researcher, AI Verification, Separation Logic in Lean
Some tips for your application 🫡
Tailor Your Application:Make sure to customise your CV and cover letter to highlight your experience with Lean and Separation Logic. We want to see how your background aligns with the role, so don’t hold back on showcasing relevant projects or research!
Show Off Your Research Skills:Since this role involves conducting original research, include details about your previous research work. We love seeing publications or presentations that demonstrate your ability to communicate complex ideas clearly and effectively.
Be Clear and Concise:When writing your application, keep it straightforward. Use clear language and avoid jargon unless necessary. We appreciate a well-structured application that gets straight to the point while still being engaging!
Apply Through Our Website:Don’t forget to submit your application through our website! It’s the best way for us to receive your materials and ensures you’re considered for the role. Plus, it makes tracking your application easier for both you and us!
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 Skills
Prepare to talk about your previous research experiences, especially any publications or projects related to AI or verification. Be ready to explain your methodologies and findings clearly, as this will demonstrate your ability to communicate complex ideas effectively.
✨Collaborative Spirit
Since the role involves collaboration with other researchers and engineers, think of examples where you've successfully worked in a team. Highlight your ability to contribute to community efforts like CSLib and Iris-Lean, as this will show that you can integrate into their existing projects.
✨Ask Insightful Questions
Prepare some thoughtful questions about the team's current projects or future directions in AI verification. This not only shows your enthusiasm for the role but also your critical thinking skills and genuine interest in contributing to their work.
