[agents] [Jobs] Postdoc position in Verification of Learning-enabled Cyber-physical Systems (Imperial College London, UK)

[Alessio Lomuscio]

https://www.jobs.ac.uk/job/BOS133/research-associate-in-verification-of-learning-enabled-cyber-physical-systems

Position starting as soon as possible, ending March 2022

Salary range: £37,904 to £54,547 per annum*

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 a Research Associate in the research group of 
Verification of Autonomous Systems, lead by Prof. Alessio Lomuscio. The 
group is active in the areas of verification of intelligent agents, both 
at theoretical level and in terms of implementations, including the 
MCMAS toolkit which is developed and maintained in the group.

The goal of this project, funded by DARPA under the Trusted Autonomy 
Program, is to develop verification methods for autonomous agents and 
cyber-physical systems based on machine-learning. The techniques will 
initially target systems based on feed-forward neural networks and then 
progress to address more sophisticated networks. The project will 
include both a theoretical component with strong emphasis on 
SMT-solving, mixed-integer programming and verification techniques, as 
well as tool construction. All outputs of the project will be openly 
published and all software will be released as open-source. Applicants 
can refer to this paper as one of the starting points of this research 
direction.

Applicants are expected to have the following:

     A strong background in verification, SMT solving, integer programming.
     An understanding of neural networks and machine learning methods, 
or a strong willingness to learn these methods.
     Good communication, excellent technical writing skills, and ability 
to prioritise work to meet deadlines is essential.
     A proven ability to program and maintain state-of-the-art toolkits 
is highly desirable but not essential.

Applicants are also expected to hold (or shortly expect to receive) a 
PhD degree in Computer Science or a related field, and will have a 
proven track record with strong publications in relevant areas.

*Candidates who have not yet been officially awarded their PhD will be 
appointed as a Research Assistant within the salary range £33,380 to 
£35,061 per annum.

How to apply:

For further details on this opportunity visit our Jobs website and 
search using vacancy reference number ENG00615. In addition to 
completing the online application, candidates should attach:

     A full CV.
     A 1-page research statement describing why the candidate’s 
expertise is relevant to this position and future research plans.
     The details of three referees.

For queries regarding the application process contact Jamie Perrins: 
j.perrins at imperial.ac.uk

Informal inquiries about this position can be directed to Prof. Alessio 
Lomuscio.

Closing date: 02nd January 2019