Lecturer in Mathematical Foundations of Computation

We are looking for an academic with expertise in the mathematics of computer science to carry out research, teach and help with the running of the department. 

We’re particularly looking for individuals with research interests in mathematical logic, the theory of programming languages or computer assisted reasoning. 

You will be part of the Mathematical Foundations of Computation research group, within the Department of Computer Science. 

Interviews will be held between 7th - 9th May 2024.

About the Mathematical Foundations of Computation group

The Mathematical Foundations of Computation group at the University of Bath is a leading centre for developing the mathematics of computer science, with a dual focus on Logic and Semantics and on Computer Algebra. 

The Logic and Semantics team are well known for the deep inference project (Guglielmi), for work on lambda calculi and proof nets (Heijltjes), denotational semantics (McCusker, Laird) and applied proof theory (Powell). 

In Computer Algebra (Bradford, Davenport, Vorobjov) a major focus is the technique of cylindrical algebraic decomposition, which can be used to tackle quantifier elimination problems and satisfiability modulo theories, with many applications in verification. 

The group’s theoretical work has been honoured with prizes (IEEE LICS Kleene award; IEEE LICS Test of Time Award) and their computer algebra algorithms have been incorporated in the Maple tool. 

The group has strong international connections and is supported by an excellent team of PhD students and research associates.

Working with us

As a department, we will offer you support and growth opportunities, including career mentoring, opportunities to progress, manage and lead, access to our network of application sector partners including entertainment, sport, healthcare, and technologies. 

You will offer us a strong academic record and the ability and enthusiasm to create an engaging experience for our excellent students

If you have any questions or you would like to talk informally about the role, please contact Professor Eamonn O’Neill (he/him), [email protected] , Head of Department, Professor Ozgur Simsek (she/her), [email protected] , Deputy Head of Department or Dr Thomas Powell (he/him), Head of Group.

About the Department

The Department of Computer Science, within the Faculty of Science at the University of Bath, is a vibrant and collegiate community of staff and students. 

We are a research-intensive department committed to high quality teaching. Combining quality research with excellent teaching, enthusiastic staff and well-qualified students has allowed to us grow significantly in numbers and reputation over the last 5 years.  

Research is organised into four groups: Artificial Intelligence, Human-Computer Interaction, Mathematical Foundations, and Visual Computing. In the most recent REF (2021) 98% of our publications were rated as world-leading or internationally excellent.