Universiteit van Amsterdam

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

Open positions, general

  • (New) 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.

  • (New) Two PhD student scholarships in computer science (including logic), Swansea (Wales)

    Deadline: Saturday 23 March 2019

    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.

  • (New) 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.

  • (New) 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.

  • (New) 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.

  • (New) 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.

    For more information, see here or contact .
  • 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 .
  • PhD position at the University of Luxembourg

    Deadline: 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.

    For more information, see https://www.mathjobs.org/jobs/jobs/13528 or contact Bruno Teheux at .
  • 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?"

  • 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.

    For more information, see here or contact Sabine Frittella at .
  • 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.

    For more information, see here or at https://quilabverona.wordpress.com/ or contact Margherita Zorzi at .
  • Two PhD studentships in "Truth & Semantics"

    Location: Bristol, England
    Deadline: Sunday 24 March 2019

    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.

  • Student position at the Czech Academy of Sciences

    Deadline: Monday 18 March 2019

    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.

    For more information, see http://www.math.cas.cz/recrutements/postes.php?lang=0 or contact Pavel Hrubes at .
  • 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.

  • 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 , or Livio Robaldo at .