Institute for Logic, Language and Computation

News and Events:
Open Positions

These pages provide information about recent developments at or relevant to the ILLC (last update: 29 September 2014). 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.

Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".

Headlines Open Positions at ILLC

Headlines Open Positions, General

Open Positions at ILLC

  • Tenure Track Researcher Language in Interaction

    The successful candidate will be at the heart of a new research group whose aim is to promote the interaction between formal, logical, semantic, or/and computational modelling of language and cognition within the ILLC. To match these research tasks, the successful candidate will also be given a light teaching load in the MSc Logic, the MSc Brain and cognitive science, and/or the BSc/MSc Artificial Intelligence.

    This position is part of the larger Dutch research consortium "Language in Interaction" (lead-organisation Radboud University, Nijmegen), which brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. The position will be embedded within the ILLC within the Faculty of Science (FNWI) of the University of Amsterdam. The researcher will be appointed either in the Language & Computation or in the Logic & Language programme at ILLC, and will form a new interface between these. The position comes with a PhD fellowship.

    Application deadline: 15 October 2014. For more information, see

  • PhD candidate in Theoretical Computer Science

    The Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam, and the Centrum Wiskunde & Informatica (CWI) are looking for a PhD candidate in the area of quantum cryptography.

    The aim of the PhD project is to develop new quantum-cryptographic protocols (beyond the task of key distribution) and explore their limitations. An example of an active research is position-based quantum cryptography. Another aspect is to investigate the security of classical cryptographic schemes against quantum adversaries (post-quantum cryptography). The successful applicant will work under the supervision of Christian Schaffner.

    Application deadline: 31 October 2014. For more information, see

Open Positions, General

  • Post-Doc Position in Categorical Methods in Computer Science Technical Univeristy of Braunschweig, Germany

    A post-doc position is available from October 1 at the Department of Theoretical Computer Science of the Technical University Braunschweig. It runs till Match 2016 and is prolongable till 2018 (depending on availability of funds).

    The topic is application of category theory in computer science, in particular algebra and coalgebra in automata theory.

    For further information email Jiri Adamek J.Adamek at As an illustration of the possible topics, we have recently presented a new proof of the Eilenberg Theorem. at we intend to work further in this direction.

  • PhD Studentship in Natural Language Generation

    Date: Starting in Fall 2014
    Location: CNRS/LORIA, Nancy (France)
    Supervisor: Claire Gardent
    Research Topic: Natural Language Generation for the Semantic Web

    The Research Group in Computational Linguistics, Synalp/LORIA in Nancy (France) invites applications for a three-year-funded PhD studentship in Computational Linguistics.

    There is a growing need in the semantic web (SW) community for technologies that give humans easy access to the machine-oriented Web of data. Because it maps data to text, Natural Language Generation (NLG) provides a natural mean for presenting this data in an organized, coherent and accessible way. Conversely, the representation languages used by the semantic web (e.g., OWL ontologies and RDF data) are a natural starting ground for NLG systems. The aim of the PhD thesis will be to explore the interaction between the semantic web, the textual web and Natural Language Generation (NLG). More precisely, the goal will be to develop generic weakly supervised methods for generating text from semantic web data in particular, content selection and verbalisation methods.

    The project will build on an ongoing collaboration between LORIA (Nancy, France), the KRDB group at (Bolzano, Italy) and Stanford Research International (USA), bringing together high level academic partners with internationally recognised expertise in both NLG (LORIA) and knowledge processing (KRDB, SRI).

    Deadline: open until filled. For more information, see

  • (Updated) Assistant/associate professorship in Logic and AI, Technical University of Denmark

    There is a vacant assistant/associate professorship (permanent position) at the Technical University of Denmark. The position is within the Algolog group (Algorithms, Logic and Graphs) of the Department of Applied Mathematics and Computer Science.

    We welcome strong applicants in logic, AI, algorithms, data structures and/or graph theory, with slightly higher priority given to logic and AI. The application deadline is 15 October 2014.

    For more information, please see or contact Thomas Bolander (tobo at or the head of the Algolog section, Paul Fischer (pafi at You can read more about the Algolog group at

  • Two positions in the area of 'argument mining' in Dundee, Scotland

    Applications are invited for two positions in Dundee: a postdoctoral research assistant for the TSB- & EPSRC-funded project "Argument Analytics" (starting from Nov 2014); and for a PhD student for the EPSRC DTG-funded project "Recognizing Trust in Natural Language" (starting from Dec 2014). The closing dates for applications are 30 Sept and 31 October 2014, respectively.

    For more information, see

  • PhD student positions in Semantic Web, Dayton OH (U.S.A.)

    The Data Semantics (DaSe) Lab at the Department of Computer Science at Wright State University seeks two or more PhD students to pursue research in applied or foundational aspects of Data Semantics, Semantic Web, Ontologies, Geo- or Earth Sciences. Funding includes a monthly stipend plus tuition costs.

    The DaSe Lab (directed by Pascal Hitzler) is an internationally prominent research group with focus on foundations and applications of Semantic Web technologies. Lab members primarily contribute to ongoing research projects, but occasionally also get involved in teaching and administrative tasks. The new students will likely focus on research topics related to Data Science applications in the Earth Sciences.

    For more information, see or email daselab-jobs at

  • Temporary (1y) lectureship in philosophy, Sheffield (U.K.)

    The Department of Philosophy at the University of Sheffield has an opening for a Lecturer in Philosophy, fixed-term from 1 September 2014 to 31 August 2015. This is an ideal opportunity for a scholar with an outstanding research record and excellent teaching ability to join one of the leading philosophy departments in the United Kingdom. You will design and deliver modules in Philosophy, and contribute to postgraduate supervision.

    Camdodates should have (or be close to completing) a PhD in Philosophy or a related subject area (or have equivalent experience), proven teaching ability, the ability to carry out high quality research and disseminate research findings. It is expected that you will teach *Reference and Truth* at 2nd year level, a 3rd year module related to your research, and one other module (to be determined).

    Closing Date: 14 July 2014. For more information, go here: and search using reference number UOS008802.

  • PhD studies in theoretical computer science, Birmingham, U.K.

    The Birmingham CS theory group invites applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in computation and programming language semantics. This often involves profound and surprising connections between different areas of computer science and mathematics. From category theory to lambda-calculus and computational effects, from topology to constructive mathematics, from game semantics to program compilation, this is a diverse field of research that continues to provide new insight and underlying structure.

    See our webpage, with links to individual researchers, here: Information about PhD applications may be found here:

  • Four temporary full professorships in mathematics as "Bonn Junior Fellows", Bonn (Germany)

    The Hausdorff Center for Mathematics (HCM) at the University of Bonn brings together researchers in Theoretical and Applied Mathematics, and Mathematical Economics. In this framework, the center is looking forward to filling up to four W2-Professorships ("Bonn Junior Fellows") within the next few years. These are temporary positions for a period of five years. To some of these positions, a tenure-track option is associated, and, in exceptional cases, a position may be tenured immediately.

    The professorships intend to encourage independent research by outstanding young researchers, in analogy to the research groups of the "Max-Planck-Society" or the "Emmy-Noether-Program" of the German Research Foundation. The professorships are endowed with travel and guest funds, and with a postdoc position during the initial period. Bonn Junior Fellows also participate in the additional resources of the Hausdorff Center. Professors are encouraged to supervise doctoral students. For an initial period, teaching obligations amount to four hours per week during semesters.

    We seek candidates who fit into the broad spectrum of the Cluster of Excellence. Depending on the respective research focus, candidates become members of the "Faculty of Mathematics and Natural Sciences" or of the "Faculty of Law and Economics" at the University of Bonn. German language skills are not required. Not all positions will be assigned at the same time; there will be several separate selection rounds. The deadline for the third application round is 11th October 2014. Expected starting date is not later than 1st October 2015.

    For more information, see

  • Postdoctoral position in algorithms, Bristol (England)

    The Algorithms Team in the Department of Computer Science at Bristol University is looking to hire a postdoctoral researcher in the areas of algorithms research and/or lower bounds. The post will require a high level of expertise in areas which may include but not be limited to data structures/algorithms, discrete probability, discrete mathematics and combinatorics.

    A PhD in mathematics, computer science, operations research or a related field is required. Application deadline October 13, 2014. Start date negotiable but ideally by January 2015.

    Please see for full details both of the post and the application process. For informal enquiries, please contact Raphael Clifford ( clifford at

  • PhD student position in logic and verification for AI, Utrecht (The Netherlands)

    For the ERC consolidator project "Responsible Intelligent Systems" (REINS) we are looking for a PhD student to be employed in the division of artificial intelligence at the department of information and computing sciences.

    The REINS project aims to provide a framework for automating responsibility, liability, and risk checking for intelligent systems. The vacancy is in REINS sub-project 3 "Formal Responsibility Checking". In this sub-project we investigate how to apply known techniques from the program verification domain (model checking, theorem proving) to the responsibility checking domain. We aim to develop translations from logical formalisms for representing (graded) responsibilities and normative systems, to formalisms for which model checkers and theorem provers already exist.

    Starting date: February 1st, 2015 (later or earlier dates may be negotiated). Deadline for applications is October 20th, 2014. For any further information on the project or the vacancies see, or one can contact dr. Broersen at email address J.M.Broersen at or professor John-Jules Charles Meyer at email address J.J.C.Meyer at

  • Stipendiary Research Fellowship in Logic (among other things) at Corpus Christi College, Cambridge (England)

    Applications are invited for one stipendiary Research Fellowship tenable for three years from 1 October 2015.

    The Research Fellowship is open to graduates of any university who on 1 October 2015 will have completed not more than five years of research. Matriculated members of Corpus Christi College engaged in any area of research are eligible to apply. For those who are not already members of the College there is a restriction on the field of study. This year applications will be considered in the fields: Logic; Anglo-Saxon, Norse and Celtic Studies; Plant Sciences, or Cellular Physiology.

    Research Fellows are full members of the College's Governing Body. Stipendiary Research Fellows have access to a limited stock of College flats and sets. If available they are provided rent free or a living out allowance is offered. The estimated stipend will be in the region of £18,000. Research Fellows are allowed to teach up to six hours per week for additional remuneration, and are expected to participate in the intellectual life of Leckhampton, the College's graduate centre. An annual allowance for research expenditure is available and privileges include free medical insurance, some meals, and a small entertainment allowance.

    Applications must be submitted by Wednesday 29th October 2014. For more information, see

  • (New) Postdoctoral position in computational logic, Linz (Austria)

    The Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University in Linz, Austria, offers a PostDoc position for the duration of 2 years starting with January 2015 (or earlier). The position is funded by the Austrian Research Promotion Agency (FFG) in the frame of a research project that is jointly pursued by the RISC institute, the RISC Software company, and the SecureGUARD company, a leading European manufacturer of high-quality integrated security solutions. The PostDoc contract guarantees full employment with a yearly gross salary of approx. €48.762,- with social and health insurance included. The working place is the castle of Hagenberg near Linz, the site of RISC.

    The project is a continuation of the "LogicGuard" project which pursues research on a security solution whose core is a language based on classical predicate logic for specifying a property of a stream of messages transmitted over the network. The goal of the former project was to automatically translate such a specification into a program that efficiently monitors the network for a violation of the property. The core task of the PostDoc researcher in the new project is to analyze the resource complexity of runtime monitors that were generated from logic specifications to observe traffic in a network; there may be also some corresponding software development involved.

    A letter of application should be sent as soon as possible, but not later than October 31, 2014. For more information, see

  • 1 November 2014, Fixed-term lectureship in Leiden

    Webster University Leiden invites applications for a fixed-term-appointment Adjunct Lecturer of Critical Thinking (undergraduate level). We seek candidates whose area of specialization includes Philosophy of Science, Logic, Philosophy of Mathematics, Ethics, Philosophy of Mind. Critical Thinking is a mandatory course for all undergraduate students to fulfil General Education requirements.

    Students attending the course will be majoring in one of the following areas:
    - Management/Business Administration;
    - Psychology;
    - International Relations;
    - Media Communications.

    The successful candidate will have a record of achievement in teaching and research of philosophy. Preference will be given to candidates who have (or are in the process of completing) a Ph.D. or foreign-degree equivalent in Philosophy or an appropriate related field of study.

    The course will start in the second week of January and end in the first week of May 2015. It will include 16 sessions of 2 hours each. Candidates are required to send their CV an a short motivation letter to Dr. Sara Lusini (Head of General Education Program) at lusini at

    For more information, contact Dr. Sara Lusini (Head of General Education Program) at lusini at, Webster University Leiden.

  • Postdoctoral position in computational complexity, cryptography, quantum information theory or algorithmic game theory, Aarhus (Denmark)

    A postdoc position is available at CTIC, Department of Computer Science, to be filled as soon as possible. The position is for 1 year with the possibility of extension. The applicant should have a background in at least one of the four focus areas of CTIC: Computational complexity theory, cryptography, quantum information theory or algorithmic game theory.

    CTIC is a collaboration between the Department of Computer Science at Aarhus University, Denmark and IIIS at Tsinghua University, Beijing, China. We are looking for an applicant committed to playing an active part in continuously building strong research collaborations between the Department of Computer Science at Aarhus University and IIIS at Tsinghua University, Beijing. In particular, the successful applicant will spend significant time at IIIS, with funding for such visits being part of the position.

    For more information on the position, see or contact Peter Bro Miltersen at bromille at

  • Two positions as associate professor in theoretical philosophy, Bergen (Norway)

    The Department of Philosophy of the University of Bergen (Norway) announces two vacant positions as Associate Professor in Philosophy. The Department wishes to hire a person with research competence in at least one central area in Theoretical Philosophy - particularly Epistemology, Philosophy of Science, Metaphysics or Philosophy of Mind. The Department is also looking for people with competence in Political Philosophy, Ethics and Philosophy of Law. Competence in the History of Philosophy will be considered an advantage in the evaluation of the applicants.

    Application deadline: 21 September 2014. For more information, see

        Back to top of page