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


  • Postdoc
  • London, England
  • Posted 2 months ago
  • Expires on: December 31, 2020

Imperial College London
Computing

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

We are seeking to hire an outstanding Research Assistant/Associate to join the Verification of Autonomous Systems group.

We are interested in researchers who have a strong background in machine learning and neural networks, with experience in robustness or verification. A solid understanding of either mixed-integer linear programming, optimisation methods, or formal verification methods is also required.

In light of the present situation we will consider remote working; this can be discussed in further detail with the successful candidate.

To start as soon as possible until May 2022.

For more information and to apply, visit: https://www.imperial.ac.uk/jobs/description/ENG01412/research-assistantassociate-verification-learning-enabled-autonomous-systems