英国伦敦帝国理工学院人工智能、自主系统验证研究员职位

英国伦敦帝国理工学院人工智能、自主系统验证研究员职位

Research Assistant/Associate in Verification of ML-based Autonomous Systems

Department of Computing, Imperial College London

The Department of Computing at Imperial College London is a leading department of computer science, with a strong international presence in areas relevant to this position, such as verification and artificial intelligence.

We are seeking to hire an outstanding Research Assistant/Associate in the Verification of Autonomous Systems group, led by Prof. AlessioLomuscio. The group is active in the area of verification of autonomous multi-agent systems, both at a theoretical level and in terms of implementations.

The goal of this project, funded by DARPA under the Assured Autonomy Program, is to develop verification methods and tools for autonomous systems and cyber-physical systems based on machine-learning. The techniques will target perception systems (including CNNs) and closed-loop systems in which neural networks implement key aspects of the architecture. The post will involve a theoretical component with strong emphases on optimisation, verification, robust ML, as well as tool construction. All outputs of the project will be openly published and all software will be released as open-source. Our website https://vas.doc.ic.ac.uk/projects/darpa_aa/ shows the ongoing efforts and previous results by the group in this direction.

Applicants with the following skills are invited to apply:

- A strong technical background in either deep learning, computer vision, optimisation, or formal verification. Applicants with working knowledge of more than one area are particularly invited to apply.

- Ability to implement state-of-the-art toolkits or to quickly develop prototypes.

- Strong communication, excellent technical writing skills, and ability to prioritise work to meet deadlines is a must.

Candidates at Research Assistant level are expected to have been awarded a Master’s (or equivalent) in an area relevant to the subject area in Computer Science or a related field. Imperial College offers opportunities for staff to study part-time for a post-graduate qualification for applicants looking to develop their own research interests whilst working here.

Candidates at Research Associate are expected to have been awarded a PhD (or equivalent) in an area relevant to the subject area in Computer Science or a related field. The position offers the platform to develop skills to become an independent researcher.

*Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range £36,045 to £39,183 per annum.

Remote Work: Staff at Imperial College London, including research assistants, are presently advised 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.