* 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@sheffield.ac.uk <mailto: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/ <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@sheffield.ac.uk <mailto:j.t.virtema@sheffield.ac.uk>. More information can also be found on his academic website 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: www.youtube.com/watch?v=7LblLk18zmo <http://www.youtube.com/watch?v=7LblLk18zmo>, and follow @sheffielduni and @ShefUniJobs on Twitter for more information.
**********************************************************
*
* 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
