We are seeking applications from individuals whose research focuses on the formal analysis of AI systems, with the aim of proving that these systems are responsible, unbiased, trustworthy, secure and robust against adversarial behaviour.

Website: https://www.jobs.gla.ac.uk/job/lecturer-slash-senior-lecturer-slash-reader-in-foundational-ai
Email: david.manlove@glasgow.ac.uk