Lecturer in Mathematical Foundations of Computation (ED11492)

University of Bath
April 05, 2024
Offerd Salary:£45,585
Working address:N/A
Contract Type:Open-ended
Working Time:Full time
Working type:N/A
Ref info:N/A

Job title Lecturer in Mathematical Foundations of Computation

Department Computer Science

Salary Starting from £45,585, rising to £54,395

Grade Grade 8

Contract Type Full Time, Open Ended

Placed on Wednesday 28 February 2024

Closing date Friday 05 April 2024

Reference ED11492


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.

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.

    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.

    Further details:
  • Job Description & Person Specification

  • Terms and Conditions of Employment

  • We are constantly seeking to reduce the unconscious bias that enters any assessment process, with the goal of creating an inclusive and equal assessment process. To support this, personal details will be removed from application forms at the initial shortlisting stage.

    From this employer

    Recent blogs

    Recent news