supporting major regional activities in creative technologies. New posts align with strengths in AI, Cybersecurity, Cryptography... verification, including research in trustworthy systems, programming languages and cryptography. Our academics work on verification...
University of Bristol