[TYPES/announce] Faculty position in Verification at Sheffield University

Mike Stannett m.stannett at sheffield.ac.uk
Tue Oct 4 07:29:37 EDT 2022

The Computer Science Department at Sheffield University is currently
looking to hire a Lecturer in Verification. The deadline is October 14th.


We are seeking candidates with an outstanding record of scholarship in the
logical and mathematical foundations of computing, including hardware and
software verification. You will work within the Verification Group, a
well-established research group in the Department of Computer Science which
currently hosts six members of staff and one Research Assistant.
Current research of the group ranges from the mathematical and logical
foundations of computing to practical verification methods and tools to
support these. Particular strengths of the group include the semantic,
algebraic and categorical foundations of concurrent and distributed
systems, computational logics, finite model theory and descriptive
complexity, formal methods for hardware and software systems, verification
of quantitative systems, verification of hybrid and cyber physical systems,
verification of multi-core programs and weak memory models, as well as
interactive and automated theorem proving. To expand and complement these
strengths we encourage applications in any of the fields mentioned above,
and beyond that broadly on foundational aspects of computer science.

Sheffield provides a great environment for computer science research. In
the recent UK Research Excellence Framework (REF 2021), 99% of our research
was rated in the highest two categories (4* and 3*), meaning that it is
classed as world-leading or internationally excellent. Half of our research
outputs were judged to be world-leading. We were rated as 8th in the UK
(out of 90 institutions) for the quality of our research environment, and
70% of our impact was judged to be outstanding.

*Dr Mike Stannett, **Department of Computer Science, **The University of
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221004/af441585/attachment-0001.htm>

More information about the Types-announce mailing list