Research Assistant/Associate in Verification of Learning-enabled Cyber-physical Systems

Job summary

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 Assistant/Associate in the research group of Verification of Autonomous Systems, presently lead by Prof. Alessio Lomuscio. The group is active in the areas of verification of intelligent...

Job listing information

  • Reference ENG01198
  • Date posted 10 February 2020
  • Closing date 10 March 2020

Job description

Job summary

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 Assistant/Associate in the research group of Verification of Autonomous Systems, presently 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.

Duties and responsibilities

The goal of this project, partly 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.

Essential requirements

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.
  • At Research Associate level you must have been awarded a PhD (or equivalent) in an area pertinent to the subject area in Computer Science or a related field.
  • At Research Assistant level you must have been awarded a Master’s (or equivalent) in an area pertinent to the subject area in Computer Science or a related field.

 

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

Further information

. 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.

Informal inquiries about this position can be directed to Prof. Alessio Lomuscio: a.lomuscio@imperial.ac.uk

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

 

For technical issues when applying online please email recruitment@imperial.ac.uk

Committed to equality and valuing diversity, we are an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Disability Confident Employer and work in partnership with GIRES to promote respect for trans people.

The College is a proud signatory to the San-Francisco Declaration on Research Assessment (DORA), which means that in hiring and promotion decisions, we evaluate applicants on the quality of their work, not the journal impact factor where it is published. For more information, see https://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research-evaluation/

The College believes that the use of animals in research is vital to improve human and animal health and welfare. Animals may only be used in research programmes where their use is shown to be necessary for developing new treatments and making medical advances. Imperial is committed to ensuring that, in cases where this research is deemed essential, all animals in the College’s care are treated with full respect, and that all staff involved with this work show due consideration at every level. http://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research-integrity/animal-research

 

 

Documents

About Imperial College London

Imperial College London is the UK’s only university focussed entirely on science, engineering, medicine and business and we are consistently rated in the top 10 universities in the world.

You will find our main London campus in South Kensington, with our hospital campuses located nearby in West and North London. We also have Silwood Park in Berkshire and state-of-the-art facilities in development at our major new campus in White City.

We work in a multidisciplinary and diverse community for education, research, translation and commercialisation, harnessing science and innovation to tackle the big global challenges our complex world faces.

It’s our mission to achieve enduring excellence in all that we do for the benefit of society – and we are looking for the most talented people to help us get there.

Additional information

Please note that job descriptions cannot be exhaustive and the post-holder may be required to undertake other duties, which are broadly in line with the above key responsibilities.

All Imperial employees are expected to follow the 7 principles of Imperial Expectations: 

  • Champion a positive approach to change and opportunity
  • Communicate regularly and effectively within, and across, teams
  • Consider the thoughts and expectations of others
  • Deliver positive outcomes
  • Encourage inclusive participation and eliminate discrimination
  • Develop and grow skills and expertise
  • Work in a planned and managed way 

In addition to the above, employees are required to observe and comply with all College policies and regulations.

Imperial College is committed to equality of opportunity, to eliminating discrimination and to creating an inclusive working environment. We are an Athena SWAN Silver award winner, a Stonewall Diversity Champion, a Disability Confident Employer and work in partnership with GIRES to promote respect for trans people.