Research Assistant / Associate in Verification of Learning-enabled Autonomous Systems

Imperial College London Department of Computing

United Kingdom

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 an outstanding Research Assistant/Associate in Verification of Autonomous Systems group, led by Prof. Alessio Lomuscio. The group is active in the area of verification of autonomous multi-agent...

Job listing information

  • Reference ENG01412
  • Date posted 15 October 2020
  • Closing date 30 November 2020

Key information about the role

  • Location South Kensington Campus (map)
  • Position type Full time, fixed term
  • Salary £35,477 – £47,579 plus benefits
  • Department Department of Computing
  • Category Researcher / Non Clinical Researcher

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 an outstanding Research Assistant/Associate in Verification of Autonomous Systems group, led by Prof. Alessio Lomuscio. The group is active in the area of verification of autonomous multi-agent systems, both at a theoretical level and in terms of implementations.

Duties and responsibilities

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 emphasis on mixed-integer programming, abstraction techniques, 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.

Essential requirements

Applicants with the following skills are invited to apply:

  • A strong background in machine learning, neural networks, with an emphasis on robustness or verification.
  • Solid understanding of either mixed-integer linear programming, optimisation methods, or formal verification methods.
  • Demonstrated ability to program and maintain state-of-the-art toolkits.
  • 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 £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 are welcome and should 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

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.

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


In your application, please refer to Polytechnicpositions.com

FACEBOOK
TWITTER
LINKEDIN

baner1

baner10

baner12

baner14

baner2

baner3

baner4

baner5

baner6

baner7

baner8

baner9