[Job-offers-cs] PostDoc position in Computer Science Logic, Sheffield (UK). Deadline 3rd January 2022

[Pekka Orponen]

-------- Forwarded Message --------

Subject: 	[DMANET] PostDoc position in Computer Science Logic, Sheffield 
(UK). Deadline 3rd January 2022
Date: 	Thu, 9 Dec 2021 13:39:36 +0000
From: 	Jonni T Virtema <j.t.virtema at sheffield.ac.uk>
To: 	dmanet at zpr.uni-koeln.de



*******************************************************
* PostDoc position in Computer Science Logic
* University of Sheffield, UK
* Salary: £32,344 to £40,927 per annum (Grade 7)
* Deadline: 3rd January 2022
* Starting date: ASAP / negotiable
* Duration: Until 31.10.2023 (very likely extension to a total of 26 months)
* Details: 
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>
******************************************************

I am looking for a PostDoc to join the Verification group 
(https://www.sheffield.ac.uk/dcs/research/groups/verification 
<https://www.sheffield.ac.uk/dcs/research/groups/verification of The 
University of Sheffield (https://www.sheffield.ac.uk/dcs 
<https://www.sheffield.ac.uk/dcs to work with me in my DFG funded 
project "Logical approach to quantum mechanics and contextuality" 
(http://www.virtema.fi/dfg <http://www.virtema.fi/dfg>

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.

Interested candidates are encouraged to contact me directly by email for 
further details (j.t.virtema at sheffield.ac.uk 
<mailto:j.t.virtema at sheffield.ac.uk>). For more details on the topic, 
the candidate may refer to the subsection “Probabilistic Logics and 
Metafinite Model Theory” at http://www.virtema.fi/ <http://www.virtema.fi/>

Full advert below, and in 
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>

Best wishes,
Jonni

------------

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”.

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.

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.

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.

For informal inquiries about the job, contact: Dr. Jonni Virtema on 
j.t.virtema at sheffield.ac.uk <mailto:j.t.virtema at sheffield.ac.uk>. More 
information can also be found on his academic website 
http://www.virtema.fi/ <http://www.virtema.fi/>
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.

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.

To find out what makes the University of Sheffield a remarkable place to 
work, watch this short film: http://www.youtube.com/watch?v=7LblLk18zmo 
<http://www.youtube.com/watch?v=7LblLk18zmo and follow @sheffielduni and 
@ShefUniJobs on Twitter for more information.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://list.aalto.fi/pipermail/job-offers-cs/attachments/20211221/b330f757/attachment.htm