[agents] 2 Research Associate positions in Verification of Learning-enabled Cyber-physical Systems (Imperial College London)

[Alessio Lomuscio]

Informal enquiries are very welcome.

Best

-Alessio

-- 
Alessio Lomuscio, PhD, FEurAI
Royal Academy of Engineering Chair in Emerging Technologies
Department of Computing         http://www.doc.ic.ac.uk/~alessio
Imperial College London         http://vas.doc.ic.ac.uk/
Exhibition Road, London, SW7 2AZ, UK

======================================================================

2 Research Associate positions in Verification of Learning-enabled 
Cyber-physical Systems
4 year positions starting as soon as possible.
Salary range: £36,800 to £44,220 per year.


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 two Research Associates in the research group of 
Verification of Autonomous Systems (http://vas.doc.ic.ac.uk/) lead by 
Prof. Alessio Lomuscio. The group is active in the areas of verification 
of autonomous systems and intelligent agents.

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 neural networks. The project will 
include both a theoretical component with possible 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  https://arxiv.org/abs/1706.07351 as a possible starting 
point of this research direction.

Applicants are expected to have the following:
- A strong background in either verification, SMT solving, or integer 
programming.
- An understanding of neural networks and machine learning methods, or a 
strong willingness to learn these techniques.
- Good communication, excellent technical writing skills, and ability to 
prioritise work to meet deadlines.

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.

How to apply:
For further details on this opening please visit 
https://www.imperial.ac.uk/jobs/ and search using vacancy reference 
number ENG00162. 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 Georgina Tennant 
(g.tennant at imperial.ac.uk). Technical inquiries about this position are 
welcome and should be directed to Alessio Lomuscio.