Imperial College London
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