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.
Want more jobs like this?
Get jobs in London, United Kingdom delivered to your inbox every week.
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.
- 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
- 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.
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.