<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>-------- Forwarded Message --------</p>
<div class="moz-forward-container">
<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[DMANET] Lecturer in Verification, University of
Sheffield, UK (deadline: 30.09.2022)</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Tue, 20 Sep 2022 12:13:29 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Jonni T Virtema via dmanet
<a class="moz-txt-link-rfc2396E" href="mailto:dmanet@zpr.uni-koeln.de"><dmanet@zpr.uni-koeln.de></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Reply-To:
</th>
<td>Jonni T Virtema <a class="moz-txt-link-rfc2396E" href="mailto:j.t.virtema@sheffield.ac.uk"><j.t.virtema@sheffield.ac.uk></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
</tr>
</tbody>
</table>
<br>
<br>
This is an exciting opportunity for a Lecturer in Verification at
the University of Sheffield, a world top 100 University.<br>
<br>
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.<br>
<br>
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.<br>
<br>
<br>
More details:
<a class="moz-txt-link-freetext" href="https://www.jobs.ac.uk/job/CTB680/lecturer-in-verification">https://www.jobs.ac.uk/job/CTB680/lecturer-in-verification</a>><br>
</div>
</body>
</html>