News and Events: Open Positions
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Open positions at ILLC
Headlines Open positions, general
Open positions at ILLC
Professor of Philosophy (Metaphysics)Deadline: Wednesday 1 May 2019The 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.For more information, see here or at https://www.uva.nl/en/content/vacancies/2019/03/19-148-professor-of-philosophy-metaphysics.html or contact Hotze Mulder at H.A.Mulder at uva.nl.
Postdoctoral researcher in Proof Systems for Modal Fixpoint LogicsDeadline: Sunday 28 April 2019The 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.For more information, see here or at http://www.uva.nl/shared-content/uva/en/vacancies/2019/03/19-155-postdoctoral-researcher-in-proof-systems-for-modal-fixpoint-logics.html or contact Yde Venema at y.venema at uva.nl.
2 PhD candidates in Proof Systems for Modal Fixpoint LogicsDeadline: Sunday 14 April 2019
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.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2019/03/19-156-2-phd-candidates-in-proof-systems-for-modal-fixpoint-logics.html or contact Bahareh Afshari at b.afshari at uva.nl.
Open positions, general
(New) PhD student scholarship in logic, knowledge representation and databases, Liverpool (England)Deadline: Sunday 23 June 2019
The Knowledge Representation and Verification Groups at the Department of Computer Science, University of Liverpool, jointly offer a PhD Scholarship for work at the intersection Logic, Knowledge Representation, and Databases.
The PhD student will be supervised by Professors Frank Wolter and Boris Konev and Dr Martin Zimmermann and will closely collaborate with Postdoctoral Researchers working on the new EPSRC-funded research project 'quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data', a joint project with Professor Michael Zakharyaschev at University of London. The preferred start date for the Scholarship is October 1, 2019. Interviews will be held from the beginning of May.For more information, see https://www.liverpool.ac.uk/study/postgraduate-research/studentships/ontology-based-data-management/ or contact Frank Wolter at wolter at liverpool.ac.uk, or Martin Zimmermann at Martin.Zimmermann at liverpool.ac.uk.
(New) Postdoctoral positions in computational linguistics, Gothenburg (Sweden)Deadline: Wednesday 15 May 2019
The Centre for Linguistic Theory and Studies in Probability (CLASP) is based in the Department of Philosophy, Linguistics, and Theory of science (FloV) at the University of Gothenburg. CLASP is devoted to research and advanced training in the application of probabilistic modeling and machine learning methods to core issues in linguistic theory and cognition. It also addresses topics in dialogue and linguistic interaction. The postdoctoral researcher is expected to conduct research in CLASP's core areas of research in cooperation with the research group.
Apart from research, duties may include mentoring graduate students, course design, and/or teaching-related activities; such supplementary duties will not exceed 20% of the position?s responsibilities.For more information, see https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=3919 or contact shalom.lappin at gu.se.
(New) PhD student positions in theory and foundations of CS, Warwick (England)Deadline: Sunday 31 March 2019
PhD positions are available in the Centre for Doctoral Training (CDT) at the Department of Computer Science, University of Warwick, UK. The Theory and Foundations group in the department is inviting applications from those interested in theoretical computer science. The group works on various aspects of theoretical computer science and has strong ties with the Centre for Discrete Mathematics and its Applications (DIMAP). Together with DIMAP, the group is one of the leading theory groups in Europe, with regular publications in top international conferences and journals in theoretical computer science.
The applicants interested in theoretical computer science are expected to have a strong background in discrete mathematics, algorithms, or related topics with undergraduate and/or Master's degrees in Computer Science, Mathematics, or related disciplines. The position(s) will be fully funded, and the successful applicant(s) will be receiving a stipend at rate in line with current Research Councils UK rates.For more information, see https://warwick.ac.uk/fac/sci/dcs/research/focs/news/?newsItem=8a1785d8697d2eb30169876bf0a03821.
(New) Postdoctoral position in symmetry in computational complexity, Prague (Czech Republic)Deadline: Sunday 23 June 2019
We are looking for a highly motivated and creative post-doctoral researcher to work on the ERC funded project Symmetry in Computational Complexity (CoCoSym) under the supervision of Libor Barto at the Department of Algebra, Faculty of Mathematics and Physics, Charles University, Prague.
The project concerns the complexity and approximability of fixed-template constraint satisfaction problems over finite domains and their generalization to infinite domains and weighted relations. The duration of the position will be between one and three years. The starting day is flexible, applications will be considered until the position is filled. The position carries no teaching load. The position is fully funded from the ERC grant, funding for conference travel is also available.
(New) Postdoctoral position (3y) on "Truth & Semantics", Bristol (England)Deadline: Sunday 14 April 2019
The Department of Philosophy at the University of Bristol invites applications for a three-year Research Associate in Logic/Formal Semantics with the ERC-funded project 'Truth and Semantics' directed by Johannes Stern. The project aims to provide a unified perspective on natural language semantics, conceived of as truth-conditional semantics, and the research on the so-called semantic paradoxes in the form of theories of self-applicable truth.
The Research Associate is expected to conduct research with the aim of developing semantic accounts for rich fragments of natural language. They should have a research profile in logic and/or formal semantics. A background in formal theories of truth and/or relevant fields of natural language semantics may be an advantage. The role is offered on an open ended basis with fixed funding for three years, starting October 2019.For more information, see https://sites.google.com/site/jssternjohannes/trust/postdoc or contact Johannes Stern at johannes.stern at bristol.ac.uk.
Postdoctoral position (2y) in category theory, Sydney (Australia)Deadline: Thursday 13 June 2019
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.For more information, see http://jobs.mq.edu.au/cw/en/job/505375/postdoctoral-research-fellow-in-category-theory or contact Dr Richard Garner at richard.garner at mq.edu.au..
PhD student position in formal verification, Delft (The Netherlands)Deadline: Monday 1 April 2019
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.For more information, see https://vacature.beta.tudelft.nl/vacaturesite/permalink/50824/?lang=en or contact r.j.krebbers at tudelft.nl.
PhD position in theory and applications of dependence logic, Helsinki (Finland)Deadline: Saturday 27 April 2019
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.For more information, see https://www.helsinki.fi/en/open-positions/doctoral-student-theory-and-applications-of-dependence-logic or contact Fan Yang at fan.yang at helsinki.fi.
Multiple PhD Positions in Accountable, Responsible and Transparent AI, University of Bath (UK)Deadline: Monday 1 April 2019
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.
Two faculty positions in mathematical logic, Nanjing (China)Deadline: Friday 7 June 2019
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.
Assistant Professorship in Digital Humanities, Kolding (Denmark)Deadline: Monday 22 April 2019
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.For more information, see https://www.sdu.dk/en/service/ledige_stillinger/1028349 or contact professor Nina Bonderup Dohn at nina at sdu.dk.
PhD position at the University of LuxembourgDeadline: Thursday 18 July 2019
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.
PhD student or postdoctoral position in philosophy of mind and cognition, Bochum (Germany)Deadline: Monday 25 March 2019
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?"For more information, see http://www.ruhr-uni-bochum.de/philosophy/ii/pdf/stellenausschreibung_2019_eng.pdf or contact sekretariat-newen at rub.de.
PhD student position in Logics for Privacy, Bourges (France)Deadline: Sunday 31 March 2019
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.
Postdoctoral position in formal methods and quantum computation, Verona (Italy)Deadline: Thursday 9 May 2019
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.
PhD student position in cyber security, Guildford (UK)Deadline: Monday 1 April 2019
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.For more information, see https://www.jobs.ac.uk/job/BOZ441/phd-studentship-opportunity-security-analysis-of-systems-using-emerging-5g-technologies-5gtech-sec or contact Dr Ioana Boureanu at i.boureanu at surrey.ac.uk.
Two PhD student positions in reliability and trust, Luxembourg (Luxembourg)Deadline: Saturday 1 June 2019
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.For more information, see http://www.luxli.lu/two-phd-positions-at-the-university-of-luxembourg/ or contact Réka Markovich at reka.markovich at uni.lu, or Livio Robaldo at livio.robaldo at uni.lu.