EnnCore will hire four postdoctoral research associates in the areas listed below.

Secure and Verifiable AI Models (Manchester)

Our research group has one Research Associate position to work on Secure and Verifiable AI Models.

The ideal candidate for this position will develop and evaluate methods, algorithms, and tools to build explainable and fully verifiable learning-based systems that are safe, transparent, and robust.

This position will involve continuous interaction with experts in explainable AI, security, and software testing and verification. You will be a member of the EnnCore team (https://enncore.github.io/), working closely with Mustafa A. Mustafa, Youcheng Sun, Andre Freitas, and Lucas Cordeiro at Manchester.

You should have, or be about to obtain, a PhD in Computer Science or a closely related field together with an excellent track record of international publications in the foundation and/or application of verification and validation of neural networks.

Applications must be sent via:

https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=22435

Deadline: June 7th, 2022.