<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 position in Verification, Sheffield
(UK), Deadline: 3 Jan 2022</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Thu, 9 Dec 2021 13:34:07 +0000</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </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>
The University of Sheffield is seeking candidates with an
outstanding record of scholarship in the logical and semantic
foundations of computing, and in particular 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>
Current research 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.<br>
<br>
Details:
<a class="moz-txt-link-freetext" href="https://www.jobs.ac.uk/job/CLF125/lecturer-in-verification">https://www.jobs.ac.uk/job/CLF125/lecturer-in-verification</a>><br>
</div>
</body>
</html>