Logic List Mailing Archive

Two postdoctoral positions & one PhD student position in Computer Science Logic, Sheffield (England), Deadline: 20 Jul 2022

*******************************************************
* 2 x PostDoc position in Computer Science Logic
* University of Sheffield, UK
* Salary: GBP 32,344 to GBP 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 
<mailto: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.


*******************************************************
* 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: Autumn 2022/Spring 2023
*******************************************************

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 temporal logics 
for verification (for more details: 
https://www.findaphd.com/phds/project/logical-approach-to-verification-of-hyperproperties/?p138434).

PhD topics related to logical foundations of probabilistic data and 
complexity theory utilising real numbers is also possible, please contact 
me directly for details.

The Studentship will cover tuition fees at the UK rate and provide a 
tax-free stipend at the standard UKRC rate (currently GBP 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/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam