Lecturer in Verification

The role

The University of Bristol is announcing significant investment in new academic staff posts to grow our talented Computer Science community, underpinned by recent successful activities including two new Doctoral Training Centres in Artificial Intelligence and Cybersecurity, Isambard AI - the UK's most powerful supercomputer, a multi-million pound Bristol-led AI research hub in Collective Intelligence, and an entirely new enterprise campus with facilities, labs and collaboration spaces supporting major regional activities in creative technologies. New posts align with strengths in AI, Cybersecurity, Cryptography, Verification, Computer Vision, Immersive and Creative Technologies and High-Performance Computing.

As part of this growth, we wish to hire an outstanding candidate for a lectureship in verification. Bristol has a longstanding track record in verification, including research in trustworthy systems, programming languages and cryptography. Our academics work on verification of algorithms, software and hardware, including cyber-physical systems, compilers, cryptographic protocols, robotics, microelectronics and machine learning, but we will consider applications from outstanding candidates across the field, broadly conceived. The post holder will collaborate with existing members of the School while helping to drive forward our research profile in verification, developing new opportunities for research and education.

This post will be at the Lecturer level, with the grade being either J or K, depending on the candidate's skills, qualifications, and experience.

What will you be doing?

• As a Lecturer, you'll deliver engaging teaching, supervise projects, and build and contribute to research programs.
• You'll design courses, guide student assessments, and foster academic growth.
• You'll pursue personal research, disseminate findings, and engage in impactful activities beyond academia.
• You’ll be a member of the Core Academic Team, and the Trustworthy Systems Laboratory research group.
• You’ll have further opportunities to work with researchers in Programming Languages, Cryptography, AI and beyond as appropriate.

You should apply if

• We seek individuals with profound knowledge and experience in verification, with commitment to developing theory and practice in this discipline.
• You should be enthusiastic about implementing innovative teaching methods and supporting students at all levels to achieve their potential.
• Our commitment to diversity and inclusion is paramount, and we expect candidates to cultivate diverse relationships within and outside the University.
• A PhD in a related field, or extensive equivalent industry experience is essential.

For a comprehensive list of requirements, see the attached job description. If this resonates with you, apply now.

Additional information

For informal queries, contact details: 

Professor Kerstin Eder Kerstin.eder@bristol.ac.uk

Enquiries regarding verification and Trustworthy Systems group

Professor Mike Fraser mike.fraser@bristol.ac.uk

Enquiries regarding School of Computer Science

To find out more about what it's like to work in the Faculty of Engineering, and how the Faculty supports people to achieve their potential, please see our staff blog:

https://engineeringincludesme.blogs.bristol.ac.uk/

Interviews are anticipated to be held on 26 June 2024.

Our strategy and mission

We recently launched our strategy to 2030 tying together our mission, vision and values.

The University of Bristol aims to be a place where everyone feels able to be themselves and do their best in an inclusive working environment where all colleagues can thrive and reach their full potential. We want to attract, develop, and retain individuals with different experiences, backgrounds and perspectives – particularly people of colour, LGBT+ and disabled people - because diversity of people and ideas remains integral to our excellence as a global civic institution.

Advert information