<div dir="ltr"><div class="gmail_default" style="color:rgb(0,0,0)"><font face="verdana, sans-serif">The Computer Science Department at Sheffield University is currently looking to hire a Lecturer in Verification. The deadline is October 14th. See:</font></div><div class="gmail_default" style="color:rgb(0,0,0)"><font face="verdana, sans-serif"><br></font></div><div class="gmail_default" style="color:rgb(0,0,0)"><font face="verdana, sans-serif">    <a href="https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CTU424/lecturer-in-verification__;!!IBzWLUs!XnnAwiU24Q94Qk0XanmPSsWWw2IOEtwRcskVcRCAOmPqX-aSZbaXY5czG-4fmYokbb0fiJZFFJgdHYNifT-maitzW4lepUhHJvbzXiRgZg$">https://www.jobs.ac.uk/job/CTU424/lecturer-in-verification</a></font></div><div class="gmail_default" style="color:rgb(0,0,0)"><font face="verdana, sans-serif"><br></font></div><p style="margin:0px 0px 1em;color:rgb(0,0,0)"><font face="verdana, sans-serif">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.</font></p><div class="gmail_default" style="color:rgb(0,0,0)"><font face="verdana, sans-serif">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.</font></div><div class="gmail_default" style="color:rgb(0,0,0)"><font face="verdana, sans-serif"><br></font></div><div class="gmail_default" style="color:rgb(0,0,0)"><font face="verdana, sans-serif">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.</font><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#000000"><br></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div style="color:rgb(0,0,0);font-family:Helvetica;font-size:12px"><i style="color:rgb(1,25,147);font-family:Helvetica-LightOblique">Dr Mike Stannett, </i><i>Department of Computer Science, </i><i>The University of Sheffield.</i></div><div style="color:rgb(136,136,136)"><br></div><div style="color:rgb(136,136,136)"><div style="font-stretch:normal;font-size:13.33px;line-height:19.99px;overflow:visible"><span style="font-style:italic;font-stretch:normal;line-height:19.99px;color:rgb(34,34,34);background-color:transparent"><div dir="ltr" style="font-size:small;font-style:normal"><span style="font-stretch:normal;font-size:13.33px;line-height:19.99px;color:rgb(136,136,136);background-color:transparent"></span></div></span></div></div><div style="color:rgb(136,136,136)"><i style="color:rgb(0,0,0);font-family:Helvetica;font-size:12px"><br></i></div></div></div></div></div>