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

The posts are held at Imperial College London (UK) within the verification of autonomous systems research group (http://vas.doc.ic.ac.uk/).

Apply here

In light of the present situation we are currently working remotely; this can be discussed in further detail with the successful candidate.

To start as soon as possible. The postdoc position will be until May 2022, with the possibility of extension. The PhD position will be for 3 years.