For further information on openings for PhD students to join our group, please visit our PhD Opportunities page.
Please refer to the descriptions below for more details.
We are currently recruiting a Research Associate in Security of ML-based Personal Assistants.
Further information on the job and an online application form can be found below.
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 in the Verification of Autonomous Systems 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.
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.
Please note this is a re-advertisement; previous applicants need not apply.
Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range £36,045- £39,183 per annum.
** Remote Work: Staff at Imperial College London, including research assistants, are following the present advice to work from home. All staff and students in the Verification of Autonomous Systems are presently working from home. In view of the present situation we expect this arrangement to continue at least for the next few months.
For further details on this opportunity visit this link.
In addition to completing the online application candidate should attach:
For informal queries candidates are welcome to contact Professor Alessio Lomuscio: a.lomuscio@imperial.ac.uk.
For queries regarding the application process contact Jamie Perrins: j.perrins@imperial.ac.uk.