Email Gateway (Sep 28 2023 at 07:09): Email Gateway (Sep 28 2023 at 07:09):From: Tobias Nipkow <nipkow@in.tum.de>
-------- Forwarded Message --------
Subject: Permanent Post in Formal Methods at Swansea University
Date: Tue, 26 Sep 2023 15:51:36 +0000
From: Monika Seisenberger <m.seisenberger@swansea.ac.uk>
At Swansea we are looking for a new enthusiastic colleague in Applied Formal
Methods.
Closing Date: 09-10-2023
Salary: Lecturer - £38,205 to £44,263 per annum with USS benefits
Senior Lecturer - £45,585 to £54,395 per annum with USS benefits
Contract: Permanent, Full time
https://www.swansea.ac.uk/jobs-at-swansea/current-vacancies/details/?nPostingID=135966&nPostingTargetID=168494&ID=QHUFK026203F3VBQB7VLO8NXD&lg=UK&mask=suext
Swansea University 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 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.
In Swansea, we have a very active Railway Verification Group with an excellent,
long-standing collaboration with Siemens Mobility, which the successful
candidate could join. The department boasts one of the UK’s largest groups in
logic and theoretical computer science. Furthermore, there is a newly founded,
active group on cyber-security. Overall, the department offers a vibrant
research environment, also with experts in AI, HCI, Robotics, and Visual Computing.
Links:
https://www.swansea.ac.uk/compsci/research-and-impact/swansea-railway-verification/
https://www.swansea.ac.uk/compsci/research-and-impact/theoretical-computer-science/
https://www.swansea.ac.uk/compsci/research-and-impact/
With kind regards,
Monika
Dr Monika Seisenberger
Deputy Head of Computer Science
School of Mathematics and Computer Science
Swansea University
For informal requests you can contact M.Seisenberger@swansea.ac.uk.
Last updated: Apr 28 2024 at 20:16 UTC