[Job-offers-cs] Postdoc and PhD positions in Computer Science Logic in Sheffield, UK

[Pekka Orponen]

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

Subject: 	[DMANET] Postdoc and PhD positions in Computer Science Logic 
in Sheffield, UK
Date: 	Tue, 28 Jun 2022 21:58:46 +0100
From: 	Jonni T Virtema via dmanet <dmanet at zpr.uni-koeln.de>
Reply-To: 	Jonni T Virtema <j.t.virtema at sheffield.ac.uk>
To: 	dmanet at zpr.uni-koeln.de



*******************************************************
* 2 x PostDoc position in Computer Science Logic
* University of Sheffield, UK
* Salary: £32,344 to £35,326 per annum (Grade 7)
* Deadline: 20th July 2022
* Starting date: ASAP / negotiable
* Duration: Until 31.10.2023 (15 months each)
* (it might be possible to join the posts to one longer post or extend 
posts past the official end date, contact j.t.virtema at sheffield.ac.uk 
for details)
* Details: 
https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-logic-x2-positions>
*******************************************************

I am looking for two PostDocs to join the Verification group 
(https://www.sheffield.ac.uk/dcs/research/groups/verification of The 
University of Sheffield (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>
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.

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.

Interested candidates are encouraged to contact me directly by email for 
further details (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/>
Full advert at 
https://www.jobs.ac.uk/job/CRB003/research-associate-in-computer-science-logic-x2-positions> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://list.aalto.fi/pipermail/job-offers-cs/attachments/20220702/3f43ce9e/attachment-0001.htm