Applications are invited for a fully-funded 4-year PhD position in Proof Theory of Modal Logics at the Fundamental Computing group at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen.
We are looking for excellent candidates interested in conducting research in the proof theory of modal logics. Modal logics are non-classical logics that have numerous applications in computer science, AI, and philosophy. Propositional Dynamic Logic (PDL) and Game Logic are some notable examples - these logics are able to represent dynamic features of programs and games and thus provide a framework for reasoning about program correctness and what players can achieve in strategic games. Proof theory is the branch of Logic that studies a logic based on a formal (mathematical) notion of its proof system and its proofs. Despite having been introduced more than 40 years ago, dynamic modal logics do not yet possess a well-developed proof theory.
A potential research project would be to develop refined proof systems for modal logics such as PDL and Game Logic with the aim of using these proof systems to determine their logical properties. Other research projects in the area of modal logic and proof theory are also possible, based on the background and interests of the candidate.
The PhD candidate will be supervised by Prof. Helle Hvid Hansen and dr. Revantha Ramanayake. Potential candidates are encouraged to contact the supervisors well in advance to discuss their interests and learn about the possibilities.
As a PhD candidate, you will conduct original research leading to a PhD thesis, completed within the 4 years of the appointment and defended at the University of Groningen. You are expected to present your research results at seminars and international conferences, and to publish in conference proceedings and journals. You are expected to make a small contribution (at most 10%) to teaching e.g. as a teaching assistant or supervising student projects.
Similar Positions
-
Ph D Position On The Logic And Philosophy Of Informational Content, Utrecht University, Netherlands, 22 days ago
6 Apr 2024 Job Information Organisation/Company Utrecht University Research Field Cultural studies Researcher Profile First Stage Researcher (R1) Country Netherlands Application Deadline 1 May 202...
-
Ph D Stipends Within Distributed, Embedded And Intelligent Systems, Aalborg University, Denmark, about 11 hours ago
We seek PhD students that will contribute to new generations of scalable, model-based tools for cyber-physical systems based on a mathematical sound foundation, that enables trade-offs between fun...
-
Ph D Position: Benchmarking Scientific Explanation In Psychological Practice , University of Amsterdam, Netherlands, 19 days ago
Are you looking for a PhD position in a dynamic setting? Do you want to execute philosophy of science research informed by and engaging scientific practices? The Institute for Logic, Language and ...
-
Ph D Position At University Of Paris Saclay In Neuro Symbolic Artificial Intelligence, Laboratoire d'Ingénierie des Systèmes de Versailles (LISV), Université Paris-Saclay, France, 28 days ago
30 Mar 2024 Job Information Organisation/Company Laboratoire d'Ingénierie des Systèmes de Versailles (LISV), Université Paris-Saclay Research Field Computer science » Informatics Researcher Profil...
-
Ph D Student Position In Graph Modification, Chalmers University of Technology, Sweden, about 3 hours ago
We are offering a PhD position in the field of algorithmic graph theory. The position is a full-time employment with a competitive monthly salary and full social benefits for up to five years, and...
-
Ph D Student Position In Graph Modification, Chalmers University of Technology, Sweden, 20 days ago
10 Apr 2024 Job Information Organisation/Company Chalmers University of Technology Research Field Computer science » Other Researcher Profile First Stage Researcher (R1) Country Sweden Application...