AI Research Assistant (PhD) Full-time

Meta is seeking a PhD Student to join its Fundamental AI Research (FAIR) team in London. We are committed to advancing the field of artificial intelligence by making fundamental advances in scientific methods and technologies to help interact with and understand our world. For this position we are looking for an individual to work at the intersection of formal verification and machine learning. Our research interest include, for example, proof assistants (e.g., Lean), automatic code analysis (e.g., abstract interpretation), code synthesis, reinforcement learning, and large language models. The remit of the PhD will be to conduct research on a problem, or problems, in these areas which is beyond what current techniques can do. PhD positions are 4-year fixed-term for PhD students in London who will work in collaboration with the UCL Centre for Artificial Intelligence, jointly supervised by academics at this lab and research scientists at FAIR. In the spirit of FAIR’s general mission, we expect the work to come out of the PhD, both at Meta and the academic partner, to be open science and open source.

AI Research Assistant (PhD) Responsibilities

• Perform research to advance the science and technology of intelligent systems.
• Perform research to understand the mechanisms learned by ML models.
• Influence progress of relevant research communities by producing publications.
• Collaborate and increase productivity on existing research projects.

Minimum Qualifications

• Knowledge in Machine Learning.
• Knowledge in Formal Verification.
• Must obtain work authorisation in the country of employment at the time of hire, and maintain ongoing work authorisation during employment.
• Applicants will need to separately apply and be accepted to UCL, and mention their FAIR application in the UCL application form. https://www.ucl.ac.uk/computer-science/study/postgraduate-research/computer-science-mphilphd

Preferred Qualifications

• Bachelors or Masters degree (or equivalent) in a technical field such as Computer Science, Applied Mathematics, or equivalent practical experience.
• Experience building systems based on machine learning and/or deep learning and/or formal verification methods.
• Research and software engineer experience demonstrated via an internship, work experience, coding competitions, or open-source contributions.
• Knowledge in Python, Lua, C++, C, C#, and/or Java
• Publications or experience in fields related to verification, program semantics, machine learning, AI, natural language processing, optimisation, computer science, statistics, applied mathematics, or data science.

About Meta

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.

Equal Employment Opportunity

Meta is proud to be an Equal Employment Opportunity employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy, childbirth, reproductive health decisions, or related medical conditions), sexual orientation, gender identity, gender expression, age, status as a protected veteran, status as an individual with a disability, genetic information, political views or activity, or other applicable legally protected characteristics. You may view our Equal Employment Opportunity notice here .

Meta is committed to providing reasonable accommodations for qualified individuals with disabilities and disabled veterans in our job application procedures. If you need assistance or an accommodation due to a disability, fill out the Accommodations request form .