Research Assistant or Associate in Verified AI
- South Shields, United Kingdom
Posted yesterday
About the role
Job number
ENG04026
Faculties
Faculty of Engineering
Departments
Department of Computing
Salary or Salary range
£45,399- £59,484 per annum
Location/campus
South Kensington Campus - On site only
Contract type work pattern
Full time - Fixed term
Posting End Date
9 Sept 2026
About the role
The purpose of the project is to build a secure by design AI inference stack using the latest advancements in AI, security, and formal methods.
Modern AI inference systems combine complex software components, including model runtimes, memory managers, schedulers, accelerator kernels, isolation mechanisms, and distributed communication, which significantly increases their trusted computing base and attack surface, but also make any performance optimisation a challenge.
The post will be based in the Department of Computing at Imperial College London at the South Kensington Campus. The Department of Computing is a leading department of Computer Science in the UK and the world and has consistently been awarded the highest research rating. In the 2021 REF assessment, the Department claimed the top spot for computer science and informatics. In the latest QS World University Rankings, Imperial College London was recognised as the top university in Europe and the top 2 globally. Overall, Imperial College London ranked first in the UK for research outputs, first in the UK for research environment, and first for research impact among Russell Group universities.
What you would be doing
This project aims to investigate a different approach: designing an AI inference stack in which critical security and correctness properties can be specified formally and mechanically verified. Doing so will allow us to provide end-to-end isolation guarantees, while also fearlessly implementing aggressive performance optimisations across the entire stack, from the low-level of individual kernels all the way to the request scheduler at the cluster level. The end goal is a fully verified opensource inference stack with competitive performance).
Further information on the research of Dr. Marios Kogias can be found at https://marioskogias.github.io/ .
What we are looking for
- Research Associate: A PhD (or be close to completion) in an area pertinent to the subject area, i.e. operating systems, networking, distributed systems, cloud computing.
- Research Assistant: A strong Master’s degree in an area pertinent to the subject area, i.e. Computer Science or a related area.
- A proven track record of publications in top conferences in relevant fields, such as systems (e.g. OSDI, SOSP), PL (e.g. PLDI, POPL), verification (e.g. CAV) or top venues in closely related fields.
- Experience in at least one of the following (ideally more than one): formal verification tools (especially proof assistants), GPU programming, low-level systems engineering in languages such as C/C++/Rust, systems for ML.
- Experience in writing academic papers.
Please see job description for a full list of essential and desirable requirements.
- Candidates who have not yet been officially awarded their PhD will be hired at Research Assistant level: salary scale £45,399- £48,876 per annum.
What we can offer you
- The opportunity to continue your career at a world-leading institution and be part of our mission to continue science for humanity.
- Grow your career: gain access to Imperial’s sector-leading dedicated career support for researchers as well as opportunities for promotion and progression.
- As a member of research staff, you have 10 development days to use to develop your skills and explore your career prospects
- Sector-leading salary and remuneration package (including 43 days off a year and generous pension schemes).
- Be part of a diverse, inclusive and collaborative work culture with various staff networks and resources to support your personal and professional wellbeing.
Further information
Full time, fixed term contract to start ASAP for 15 months
In addition to completing the online application candidates should attach:
- A full CV, with a list of all publications
- A research statement indicating what you see as interesting research issues relating to the above post and why your expertise is relevant.
For informal enquiries about the position, please email Dr. Marios Kogias (m.kogias@imperial.ac.uk ).
For queries regarding the application process, contact Jamie Perrins (j.perrins@imperial.ac.uk ).
Available documents
Attached documents are available under links. Clicking a document link will initialize its download.
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities mentioned above.
We reserve the right to close the advert before the stated closing date, should we receive a high volume of applications. It is therefore advisable that you submit your application as early as possible to avoid disappointment.
If you encounter any technical issues while applying online, please don't hesitate to email us at support.jobs@imperial.ac.uk. We're here to help.
About Imperial
Welcome to Imperial, a global top-ten university where scientific imagination leads to world-changing impact.
Join us and be part of something bigger. From global health to climate change, AI to business leadership, here at Imperial we navigate some of the world’s toughest challenges. Whatever your role, your contribution will have a lasting impact.
As a member of our vibrant community of 22,000 students and 8,000 staff, you’ll collaborate with passionate minds across nine London campuses and a global network.
This is your chance to help shape the future. We hope you’ll join us at Imperial College London.
Our Culture
We work towards equality of opportunity, to eliminating discrimination, and to creating an inclusive working environment for all. We encourage applications from all backgrounds, communities and industries, and are committed to employing a team that has diverse skills, experiences and abilities. You can read more about our commitment on our web pages.
Proud signatory of the Armed Forces Covenant. We welcome applications from the Armed Forces community.
Our values are at the root of everything we do, and everyone in our community is expected to demonstrate respect, collaboration, excellence, integrity, and innovation.