PhD Openings

For further information on openings for PhD students to join our group, please visit our PhD Opportunities page.

Postdoc Openings

  • Research Assistant/Associate in Security of ML-based Personal Assistants

Please refer to the descriptions below for more details.

Research Assistant/Associate in Security of ML-based Personal Assistants

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.

  • Salary range: £41,593 to £49,210 per annum*
  • Closing date: 27 March 2022

Job summary

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.

Duties and responsibilities

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.

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.

Further information

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.

How to apply

For further details on this opportunity visit this link.

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 his or her expertise is relevant.

For informal queries candidates are welcome to contact Professor Alessio Lomuscio:

For queries regarding the application process contact Jamie Perrins: