Lecturer in Cybersecurity for a research-focused academic role in computer science. Focus on post-quantum cryptography, formal methods, verification, complexity and type theory. Includes teaching, department service, Higher Education Academy fellowship, mentoring and leadership and funding opport...