Logic List Mailing Archive
Postdoctoral position in Computer Science Logic, Sheffield (England), Deadline: 3 Jan 2022
*******************************************************
* 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
<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).
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/
<http://www.virtema.fi/>.
Full advert below, and in
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. More information can also be found on his
academic website 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, and
follow @sheffielduni and @ShefUniJobs on Twitter for more information.
--
[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