<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 position in Computer Science Logic,
Sheffield (UK). Deadline 3rd January 2022</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Thu, 9 Dec 2021 13:39:36 +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>
*******************************************************<br>
* PostDoc position in Computer Science Logic<br>
* University of Sheffield, UK<br>
* Salary: £32,344 to £40,927 per annum (Grade 7)<br>
* Deadline: 3rd January 2022<br>
* Starting date: ASAP / negotiable<br>
* Duration: Until 31.10.2023 (very likely extension to a total of
26 months)<br>
* Details:
<a class="moz-txt-link-freetext" href="https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic">https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic</a>
<a class="moz-txt-link-rfc2396E" href="https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic"><https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic></a></div>
<div class="moz-forward-container">******************************************************<br>
<br>
I am looking for a PostDoc 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>
<<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>
<<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>
<a class="moz-txt-link-rfc2396E" href="http://www.virtema.fi/dfg"><http://www.virtema.fi/dfg></a><br>
</div>
<div class="moz-forward-container"><br>
</div>
<div class="moz-forward-container">The project relates to logical
foundations of probabilistic data, complexity theory utilising
real numbers, and 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>
<a class="moz-txt-link-rfc2396E" href="mailto:j.t.virtema@sheffield.ac.uk"><mailto: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> <a class="moz-txt-link-rfc2396E" href="http://www.virtema.fi/"><http://www.virtema.fi/></a><br>
</div>
<div class="moz-forward-container"><br>
</div>
<div class="moz-forward-container">Full advert below, and in
<a class="moz-txt-link-freetext" href="https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic">https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic</a>
<a class="moz-txt-link-rfc2396E" href="https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic"><https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic></a><br>
</div>
<div class="moz-forward-container"><br>
</div>
<div class="moz-forward-container">Best wishes,<br>
Jonni<br>
<br>
------------<br>
<br>
Are you interested in working for a top computer science
department in the UK? Would you like to contribute to work on
logical foundations of probabilistic data and complexity theory
utilising real numbers? Are you interested in a logical approach
to quantum information theory? Do you have expertise in finite
model theory, logic in computer science, or foundation of quantum
information theory? Applications are invited for a Research
Associate to work with Dr Virtema in a German Research Foundation
(DFG) funded project “Logical approach to quantum mechanics”.<br>
<br>
The position is situated within the theory theme of the Department
of Computer Science at The University of Sheffield, which is
composed of the verification and algorithms research groups
encompassing around 10 academic staff. Within the project, you
will have the opportunity to work with leading groups and
academics (e.g., from University of Helsinki, Hasselt University,
Leibniz Universität Hannover, University of Oxford, and UC Santa
Cruz) that have significant expertise in finite model theory,
complexity theory, on the logical foundations of databases and
quantum information theory, and on theoretical computer science as
a whole.<br>
<br>
With researchers at the partner universities, you will develop
theory related probabilistic team semantics, descriptive
complexity of real number computation and/or their connections to
quantum information theory. Collaboration with project partners
will provide you with the opportunity to further extend and
develop your knowledge in a range of areas associated with finite
model theory and logical foundations.<br>
<br>
Candidates are expected to hold a PhD in a relevant subject (or be
close to completion). You should also have experience in finite
model theory, logic in computer science, or foundations of quantum
information theory. Familiarity in mathematics related to real
numbers, quantum information theory or logics with team semantics
is seen as an advantage. You will need to have good communication
skills in order to disseminate your findings in international
conferences and workshops.<br>
<br>
For informal inquiries about the job, contact: Dr. Jonni Virtema
on <a class="moz-txt-link-abbreviated" href="mailto:j.t.virtema@sheffield.ac.uk">j.t.virtema@sheffield.ac.uk</a>
<a class="moz-txt-link-rfc2396E" href="mailto:j.t.virtema@sheffield.ac.uk"><mailto:j.t.virtema@sheffield.ac.uk></a>. More information can
also be found on his academic website <a class="moz-txt-link-freetext" href="http://www.virtema.fi/">http://www.virtema.fi/</a>
<a class="moz-txt-link-rfc2396E" href="http://www.virtema.fi/"><http://www.virtema.fi/></a><br>
We’re one of the best not-for-profit organisations to work for in
the UK. The University’s Total Reward Package includes a
competitive salary, a generous Pension Scheme and annual leave
entitlement, as well as access to a range of learning and
development courses to support your personal and professional
development.<br>
<br>
We build teams of people from different heritages and lifestyles
from across the world, whose talent and contributions complement
each other to greatest effect. We believe diversity in all its
forms delivers greater impact through research, teaching and
student experience.<br>
<br>
To find out what makes the University of Sheffield a remarkable
place to work, watch this short film:
<a class="moz-txt-link-freetext" href="http://www.youtube.com/watch?v=7LblLk18zmo">http://www.youtube.com/watch?v=7LblLk18zmo</a>
<<a class="moz-txt-link-freetext" href="http://www.youtube.com/watch?v=7LblLk18zmo">http://www.youtube.com/watch?v=7LblLk18zmo</a> and follow
@sheffielduni and @ShefUniJobs on Twitter for more information.<br>
<br>
</div>
</body>
</html>