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
Basic 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 through written publications, technical reports, or presentations at academic or industry venues
Preferred qualifications
- 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
About the company
Meta builds technologies that help people connect, find communities, and grow businesses. When Facebook launched in 2004, it changed the way people connect. Apps like Messenger, Instagram and WhatsApp further empowered billions around the world. Now, Meta is moving beyond 2D screens toward immersive experiences like augmented and virtual reality to help build the next evolution in social technology. People who choose to build their careers by building with us at Meta help shape a future that will take us beyond what digital connection makes possible today—beyond the constraints of screens, the limits of distance, and even the rules of physics.
Individual compensation is determined by skills, qualifications, experience, and location. Compensation details listed in this posting reflect the base hourly rate, monthly rate, or annual salary only, and do not include bonus, equity or sales incentives, if applicable. In addition to base compensation, Meta offers benefits. Learn more about benefits at Meta.