* 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@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@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.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
