*******************************************************
* 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
*******************************************************

I am looking for a PostDoc 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).

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@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 in https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic.
 

*******************************************************
* PhD position in Logical Approach to Verification of Hyperproperties
* University of Sheffield, UK
* Fully funded for 3.5 years for students applicable for UK Home rates
* Possible times to start: ASAP/Spring 2022/Autumn 2022
*******************************************************

I am looking for a motivated PhD student 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). The topic of the PhD project is quite flexible, but should relate to logical theory of verification (for more details: https://www.jobs.ac.uk/job/CLH126/phd-studentship-logical-approach-to-verification-of-hyperproperties).

The Studentship will cover tuition fees at the UK rate and provide a tax-free stipend at the standard UKRC rate (currently £15,609 for 2021/22) for three and a half years. International students are eligible to apply, however will have to pay the difference between the UK and Overseas tuition fees.

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 "Logics for Verification" at http://www.virtema.fi/