|Salary:||£35,333 per annum (Grade 7)|
|Placed On:||8th December 2022|
|Closes:||22nd December 2022|
Contract type: Fixed term for six months, if start date after 1st May 2023 then a fixed end date of 31st October 2023
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, 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 working toward a PhD in a relevant topic). 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.
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.
Apply now by clicking on the Apply button located near the top of your screen
Type / Role: