University of Bath
Location
Bath, Somerset | United Kingdom
Job description
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, [email protected] , Head of Department, Professor Ozgur Simsek, [email protected] , Deputy Head of Department or Dr Thomas Powell, [email protected], 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.
We consider ourselves to be an inclusive university, where difference is celebrated, respected and encouraged. We have an excellent international reputation with staff from over 60 different nations and have made a positive commitment towards gender equality and intersectionality receiving a Silver Athena SWAN award . We truly believe that diversity of experience, perspectives, and backgrounds will lead to a better environment for our employees and students, so we encourage applications from all genders, backgrounds, and communities, particularly from under-represented groups, and value the positive impact that will have on our teams.
We are very proud to be an autism friendly university and are an accredited Disability Confident Leader; committed to building disability confidence and supporting disabled staff .
Find out from our staff what makes the University of Bath a great place to work. Follow us @UniofBath and @UniofBathJobs on Twitter for more information.
Job tags
Salary
£45.59k - £54.4k per annum
