News and Events: Open Positions

The chair is part of the capacity group Philosophical Tradition in Context (PTC). This capacity group covers metaphysics broadly conceived, history of philosophy, non-western philosophy, and philosophy of science with an emphasis on the humanities and the social sciences, and/or on formal approaches. The successful candidate will be a specialist of international standing in metaphysics broadly conceived and with a perspective beyond the boundaries between the continental and analytic tradition. Furthermore the faculty is interested in a candidate who has competence in history of philosophy and/or philosophy of science, and/or non-western philosophy. As to other academic disciplines, the successful candidate easily crosses borders between various disciplines.

The position is part of the research project Proof Systems for Modal Fixpoint Logics, to be directed by Dr Bahareh Afshari and Prof. Yde Venema. This project, which also involves three PhD positions, is a merger of two research projects.

The positions are part of the research project Proof Systems for Modal Fixpoint Logics, to be directed by Dr Bahareh Afshari and Prof. Yde Venema.

The Centre of Australian Category Theory at Macquarie University is advertising a 2-year postdoc in relation to a project entitled 'Working synthetically in higher categorical structures'. Applications from candidates with expertise in the areas of ∞-categories, 2-categories or homotopy type theory are particularly encouraged.

The Department of Computer Science at Swansea University is offering two fully funded PhD Scholarships to UK/EU applicants (subject to residency requirements). One is for a July 2019 start, the other for an October 2019 start. Any research area represented at the department is eligible. Our focus areas are: Data Science, Logic and Verification, Visual Computing, Human-Computer Interaction, and Security.

The Programming Languages group at Delft University of Technology is looking for a fully-funded PhD student (4 years) on formal verification.

The successful candidate will will be enrolled in the TU Delft Graduate School and work under the supervision of Robbert Krebbers (daily supervisor) and Eelco Visser (promotor). The candidate will work on developing next-generation formal verification techniques and tools for programming concepts that so far have received relatively little attention, such as multilinguial software, (asynchronous) input/output, and non-functional properties. This work will revolve around Iris, a higher-order concurrency separation logic framework that is implemented in the Coq proof assistant. The exact research direction which will be determined based on the common interests of the candidate and the supervisor.

The Department of Mathematics and Statistics at the University of Helsinki invites applications for a three-year doctoral student position (with a possibility of extension if further funding can be obtained later) in a research project on “Logical analysis of no-go theorems in social choice and quantum foundations”. This multidisciplinary project aims to apply the methodology of dependence logic to develop formal connections between no-go theorems in social choice theory (such as Arrow’s Theorem) and in quantum foundations (such as Bell’s Theorem). The project will also address relevant open problems in the theory of dependence logic.

The starting date of this position is September 1, 2019, or earlier by agreement. Applicants are expected to hold a Master’s degree in mathematics, computer science, philosophy or some other relevant subject by the time of the start date. An ideal candidate should have a strong background in mathematical logic, and a keen interest in interdisciplinary research.

At least 10 fully-funded studentships are available now and annually for the next five years at the UKRI Centre for Doctoral Training in Accountable, Responsible and Transparent AI (ART-AI) at the University of Bath. This 4-year PhD programme will train students to be "a specialist with perspectives", with not only AI skills but a broader understanding of the engineering applications of AI and the ethical, policy and socio-economic consequences of intelligent technologies.

There are at least 2 positions, which ranges from assistant to full professorship, available for mathematical logicians in the mathematical department of Nanjing University (P.R. China). The research applicants should focus on one or more of the following areas: Model theory, Recursion theory, and/or Set theory.

The applicants are expected to have a strong publication and independent research record. They are also expected to actively collaborate with research groups in the mathematical department. The classes can be taught in either Chinese or English.

The Danish Institute for Advanced Study seeks an outstanding candidate to fill a position at the Assistant Professor level, starting August 1, 2019 or as soon as possible thereafter. The appointment is for four years with the possibility for a subsequent two years of employment as an Associate Professor.

The position is in the fields of: Humanities: Computational thinking, Visualization, and Digital Humanities. It is a requirement for the position that the applicant should have documented research qualifications within use of ICT for knowledge representation, modelling, and visualization within humanistic disciplines. Applicants who have worked with computational thinking or designs for learning with ICT will be preferred. Programming skills are welcomed but not required.

The Mathematics Department of the university of Luxembourg has an opening for 11 PhD positions, co-financed by a grant from the Luxembourg National Research Fund. One of them is related to algebraic logic, universal algebra, and order theory.

Starting date: not before March 2019. Applications will be treated on a rolling basis.

At the Institute of Philosophy II of the Ruhr-University in Bochum a position for a PhD student (65 % TVL) or a postdoc position (100% TVL) is offered in the area of philosophy of mind and cognition in the research group of Prof. Albert Newen. The position is available for a period of three years (with an assessment after the first year). The project will be situated in Bochum and developed in a close collaboration with philosophers from other RUB departments.

The candidates should be interested in working out a project within the thematic framework of the position determined by the research project "Constructing Scenarios of the Past: The Interdependence of Episodic Memory and the Self-Model", which focuses on the questions "How is the self-model constituted by episodic memory recall and how is episodic memory recall shaped by the self-model?"

We are looking for a PhD candidate in Logics for Privacy at the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) in Bourges, France, starting on 1st October 2019.

The PhD candidate will work under the supervision of Sabine Frittella and Benjamin Nguyen within the team Security of Data and Systems. The aim of this PhD is to develop probabilistic formal methods for privacy. Depending on the interests of the applicant, the PhD could be either oriented mostly toward logic or mostly toward privacy.

We are seeking candidates for a one year post-doc position (with a possible one year extension) in the context of the QUILAB group at the University of Verona. The research project is concerned with formal methods and quantum computation, with a particular focus on quantum languages design and implementation. The scientific advisor of the project is Margherita Zorzi.

We are looking for researchers who can contribute to one or more of the research topics listed in the project. Candidates should hold a PhD in Computer Science (or a closely related field such as Mathematics) or be close to completing their PhD. Starting date: from May 2019 onwards.

The Department of Philosophy at the University of Bristol invites applications for two fully funded, 4 year PhD-studentships with the ERC-funded project 'Truth and Semantics' directed by Johannes Stern.

We encourage applications from students with a background in fields relevant to the project's research aims and training in logic and/or formal semantics. Successful candidates will work with the Principal Investigator and the project team (two Postdocs) on the project's research questions. The main tasks are to complete a dissertation within four years and participate in organising the project's events.

A 9 month student position (capacity 75% FTE) within the framework of the project 19-05497S: "Complexity of mathematical proofs and structures" is available in the Department of Mathematical Logic and Theoretical Computer Science, Institute of Mathematics of the Czech Academy of Sciences. Applications are invited from candidates who are master students or Ph.D. students in Mathematics / Computer Science, and who have background and research interest in logic, computational or proof complexity, as well as attitude to solve problems in these areas.

An exciting PhD position is now open. It will be jointly hosted at the Surrey Centre for Cyber Security (SCCS), a GCHQ-recognised 'Academic Centre of Excellence in Cyber Security Research', and Surrey's 5G Innovation Center (5GIC). @topic: This PhD is called "5GTech-Sec: Security analysis of systems using emerging 5G Technologies".

5GTech-Sec will undertake the formal security & privacy analysis of 5G-systems against 5G-specific security and privacy risks: e.g., threats stemming from reconfigurable networks, arbitrary number of connections to a small cell, etc. In other words, this a project to develop formal models, verification mechanisms and tools that are particularly suited for the verification of 5G systems. These will be primarily based on developing new techniques based on model checking of non-classical logics, such as temporal-epistemic logics, as well as theorem proving suited to security-driven theories. To this end, 5GTech-Sec will focus on: (1) capturing the arbitrary-size of the 5G systems; (2) encoding new threats stemming specifically from the novelty of 5G designs (e.g., reconfigurable networks and topologies); (3) analysing privacy properties.

The Interdisciplinary Centre for Security, Reliability and Trust of the University of Luxembourg has obtained a large grant from the European Union devoted to funding two PhD positions:
1) Security and privacy of resource constrained devices
2) Risk analysis and regulatory compliance of distributed ledger technologies for transaction and management of securities.

Commencement of the PhDs will be on the 1st November 2019.