The Department of Computing at Imperial College London is a leading department of computer science, with a strong international presence in verification and artificial intelligence.
We are seeking to hire an outstanding Research Assistant/Associate to join the Verification of Autonomous Systems (VAS) group, led by Prof. Alessio Lomuscio. The VAS group is a friendly, vibrant, multi-national team working on various aspects of safe Artificial Intelligence, including verification and safety aspects of machine learning systems, autonomous systems, swarm-based systems, robustness and safe reinforcement learning. The group also contributes to US-funded projects on Assured Autonomy and has strong links with the UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence.
The successful candidate will join the UKRI-funded project “Secure AI Assistants”, jointly run by King’s College London and Imperial College London. The overarching aim of the project is to develop various methods to assess the security of personal AI assistants, including identifying unwanted aspects of the system so that they can be rectified.
Duties and responsibilities:
The role will focus on specification and verification methods for AI assistants based on machine-learning. This will involve both the development of off-line verification methods, and methods for online monitoring when training happens at runtime during user interaction. Familiarity with existing methods for verification of neural networks, e.g., MILP-based methods, SAT-based methods, abstraction, and optimisation is highly desirable, but candidates demonstrating an ability and willingness to become familiar with these topics and able to contribute to them will also be considered. Working knowledge of neural networks, including recurrent networks such as LSTM and related ML methods would also be an advantage.
Essential requirements:
- Hold (or shortly expect to receive) a PhD degree in Computer Science or a related field *
- Either a strong background in formal verification, SMT solving, optimisation, or security; or
- A strong background in machine learning with particular emphasis to either verification or robustness
- A good publication record in relevant conferences or journals.
- Excellent oral and written communication skills as well as good social skills.
- Ability to prioritise work to meet deadlines, and to work with minimal supervision.
Further information:
Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range £35,477 - £38,566 per annum.
Please note this is a re-advertisement; previous applicants need not apply.
In addition to completing the online application candidate should attach:
- A full CV
- Up to 1 page statement explaining what interesting issues the candidate sees in the above post and the reasons why your expertise is relevant.
For informal queries candidates are welcome to contact Professor Alessio Lomuscio
[email protected]For queries regarding the application process contact Jamie Perrins:
[email protected]For technical issues when applying online please
[email protected]
