Senior Lecturer/Reader In Mathematical Foundations Of Computation

The Department of Computer Science are looking for a Reader/Senior Lecturer with expertise in the mathematics of computer science to carry out research, teach and help with the running of the department.  You will be expected to continue producing high-quality and impactful research, be passionate about research collaboration with external bodies, and deliver high-quality teaching at undergraduate and postgraduate level as well as successful PhD supervision.  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. About the role 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), maseon@bath.ac.uk, Head of Department, Professor Ozgur Simsek (she/her), os435@bath.ac.uk, Deputy Head of Department Or Dr Thomas Powell (he/him) trjp20@bath.ac.uk, Head of Group. 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.  Your research interest might also engage with the other groups in the Department: Artificial Intelligence and Machine Learning, Human Computer Interaction and Visual Computing. What we can offer you: a very generous employer contributory pension scheme generous annual leave allowance with an additional 5 discretionary days so that you can enjoy a positive work life balance we are a family-friendly University and with an increasingly agile workforce, are open to flexible working arrangements an excellent reward package that recognises the talents of our diverse workforce a wide range of personal and professional development opportunities a number of support options available for new and existing staff to help with the cost of some immigration expenses which you may be eligible for: Relocation allowance, Visa Reimbursement, Interest-Free Loan. Find out more about our benefits.