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: 22 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 Semantics, Pragmatics and Cognition

    The PhD position is part of the larger Dutch research consortium "Language in Interaction". This research consortium brings together researchers from nine different research institutions in the Netherlands, with complementary expertise in a highly interdisciplinary area of research. This PhD project will be supervised by Prof. Dr. Johan van Benthem (ILLC) and Prof. Dr. Ivan Toni (Donders Institute, Radboud University Nijmegen).

    For more information, see and

  • 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

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

  • Postdoc position in computational modelling of reading

    Research post in computational modelling of reading in Department of Psychology at Lancaster University. The post is for up to 3 years, commencing January 2015, working with Padraic Monaghan (Lancaster), Stephen Welbourne (Manchester), and Fernando Cuetos (Oviedo). The project involves constructing and testing computational models of reading, to determine the effect of early and late exposure to language on reading across the lifespan.

    Closes: 30th September 2014. For more information, see

  • PhD position in neurocomputational modelling of language processing

    A PhD position is available within the 'Language in Interaction' consortium at the Max-Planck Institute for Psycholinguistics in Nijmegen, the Netherlands.

    The PhD candidate will participate in a team effort to understand the neurobiology underlying language processing by building computer models for sentence processing based on recurrent networks of spiking neurons. The goal is to develop a model with processing memory based on vector representations of words which are incrementally interpreted in terms of thematic roles ("who did what to whom"). A core objective will be to investigate the computational role of different neuronal models, connectivity types, neurobiologically motivated adaptation mechanisms, and different methods for calibrating the model's read-out units.

    Closing date: 30 September 2014. For more information, see and

  • Postdoctoral position in decision making and learning in combinatorial games, New York NY (U.S.A.)

    Applications are invited for a postdoctoral position in Wei Ji Ma's laboratory in the Center for Neural Science and Department of Psychology at New York University. The position is for two years, with the possibility of extension. Salary will be competitive and commensurate with experience and qualifications.

    The long-range goal of the lab is to understand decision-making under uncertainty. The specific project is an NSF-funded one on how humans think ahead, decide, and learn in two-player, full-information games (such as chess, go, or tic-tac-toe). We will use human behavioral experiments, machine learning, eye tracking, and potentially fMRI to dissect the roles of heuristics, pruning strategy, and cognitive constraints in human play in a simplified, tractable game environment.

    Applicants should have a Ph.D. in machine learning, artificial intelligence, game theory, computational neuroscience, or mathematical, perceptual, or cognitive psychology, and be familiar with at least one other of these fields. Experience with probabilistic models is required.

    To apply, please send your CV, a description of why you are interested, and the contact information of two references to Wei Ji Ma. Consideration of applications will begin immediately and will end when the position is filled.

  • PhD student position in integrated history and philosophy of science, Durham (England)

    The AHRC-funded project 'Contemporary Scientific Realism and the Challenge from the History of Science' invites applications for a PhD studentship in integrated history and philosophy of science, commencing on 1st October 2014. The studentship includes three years’ Home/EU fees, plus three years' maintenance at RCUK rates.

    The project will critically evaluate contemporary scientific realism by looking to a number of episodes in the history of science which pose problems for this position. The successful applicant will have a good degree, and have (or be working towards) a Masters in a relevant discipline. He/she will work closely with the PI (Peter Vickers) and the Co-I (Timothy Lyons), as well as interacting with members of a wider project network. This is an exciting opportunity, including the possibility of a full year working in the US with leading philosophers and historians of science.

    There is no set deadline. However, we will consider applications on 1st July 2014 with a view to making the selection, so applications after that date won’t be guaranteed consideration. Full details are available at

  • 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

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

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

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

  • 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