Job Description

Lecturer - \xc2\xa338,205 to \xc2\xa344,263 per annum with USS benefits

Senior Lecturer - \xc2\xa345,585 to \xc2\xa354,395 per annum with USS benefits

This position will be based at the Bay Campus

We would be delighted to hear from interested parties who are pioneering new techniques and addressing new problems in applied formal methods, i.e., in applying mathematically grounded approaches such as static analysis, formal testing, model checking, runtime verification, or theorem proving (to name just a few established practices) to systems design to increase confidence in safety, security, or resilience of the software under consideration and to provide evidence that the software is won\'t cause harm, is protected against attacks, is capable to recover.

We are seeking candidates with experience in applying formal methods in commercial and industrial environments, namely, in adopting and scaling formal methods to real world problems in collaboration with domain experts. The focus of the post is to drive forward applied formal methods research addressing the question of how to rise formal methods to mature applicability in software development processes.

We are open to a variety of specialisms within the broad field of Formal Methods, especially those that resonate with or complement the research expertise in the Department. We are particularly seeking applications from candidates with expertise in applied/experimental aspects.

Applicants are requested to clearly stipulate which role they are applying for when making their application.

Further information

• Informal enquiries about the role are welcome and should be directed to Professor Xianghua Xie, Head of the Department of Computer Science:

.

The University is committed to supporting and promoting equality and diversity in all of its practices and activities. We aim to establish an inclusive environment and welcome diverse applications from the following protected characteristics: age, disability, gender reassignment, marriage and civil partnership, pregnancy and maternity, race (including colour, nationality, ethnic and national origin), religion or belief, sex, sexual orientation.

We have an under-representation of women in the area of academia and would particularly welcome applications from women for this position. We also have an under representation of individuals from Black, Asian and Minority Ethnic (BAME) backgrounds and would encourage applications from these groups. Appointments will always be made on merit.

Applicants are asked to provide a completed online application providing evidence against the essential criteria in the recruitment documentation.

This post is on an Enhanced Research pathway. The Academic Career Pathways (ACP) scheme is designed to ensure that academic strengths whether in research, teaching, the wider student experience, leadership or innovation and engagement, are all appropriately recognised, developed, valued, and rewarded. . Applicants are very welcome to provide any relevant individual circumstances such as career breaks, any periods of leave or secondment or any other absences, which should be taken into account and how these have had an impact on your career development.

This can be included in Questionnaire 1 on the online application, which asks for further information in support of your application.

Applicants are requested to submit a 2-3 minute video summarising prospective contributions to Swansea University via a link (You Tube, Veevo etc) embedded in the application

Closing date: 25th September 2023

See full advert for salary ranges

Jobs.ac.uk