<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] Postdoc and PhD positions in Computer Science
Logic in Sheffield, UK</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Tue, 28 Jun 2022 21:58:46 +0100</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>
*******************************************************<br>
* 2 x PostDoc position in Computer Science Logic<br>
* University of Sheffield, UK<br>
* Salary: £32,344 to £35,326 per annum (Grade 7)<br>
* Deadline: 20th July 2022<br>
* Starting date: ASAP / negotiable<br>
* Duration: Until 31.10.2023 (15 months each)<br>
* (it might be possible to join the posts to one longer post or
extend posts past the official end date, contact
<a class="moz-txt-link-abbreviated" href="mailto:j.t.virtema@sheffield.ac.uk">j.t.virtema@sheffield.ac.uk</a> for details)<br>
* Details:
<a class="moz-txt-link-freetext" href="https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-logic-x2-positions">https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-logic-x2-positions</a>></div>
<div class="moz-forward-container">*******************************************************<br>
<br>
I am looking for two PostDocs to join the Verification group
(<a class="moz-txt-link-freetext" href="https://www.sheffield.ac.uk/dcs/research/groups/verification">https://www.sheffield.ac.uk/dcs/research/groups/verification</a> of
The University of Sheffield (<a class="moz-txt-link-freetext" href="https://www.sheffield.ac.uk/dcs">https://www.sheffield.ac.uk/dcs</a> ) to
work with me in my DFG funded project "Logical approach to quantum
mechanics and contextuality" (<a class="moz-txt-link-freetext" href="http://www.virtema.fi/dfg">http://www.virtema.fi/dfg</a>><br>
All candidates interested in working in the general topic of
logics and complexity theory utilising numerical features and real
valued data are encouraged to apply.<br>
<br>
The project topics range from logical foundations of probabilistic
data and complexity theory utilising real numbers to logical
approach to quantum information theory utilising the newly
discovered connections to probabilistic team semantics. Candidates
with expertise in finite model theory, logic in computer science,
or foundations of quantum information theory are in particular
encouraged to apply.<br>
<br>
Interested candidates are encouraged to contact me directly by
email for further details (<a class="moz-txt-link-abbreviated" href="mailto:j.t.virtema@sheffield.ac.uk">j.t.virtema@sheffield.ac.uk</a>). For more
details on the topic, the candidate may refer to the subsection
“Probabilistic Logics and Metafinite Model Theory” at
<a class="moz-txt-link-freetext" href="http://www.virtema.fi/">http://www.virtema.fi/</a>><br>
Full advert at
<a class="moz-txt-link-freetext" href="https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-logic-x2-positions">https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-logic-x2-positions</a>>
<br>
<br>
</div>
</body>
</html>