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 July 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

  • (New) Postdoctoral researcher in Statistical Machine Translation

    Within ILLC, the SLPL Lab, led by Dr Khalil Sima'an, is seeking to attract three-year postdoctoral researchers in Statistical Machine Translation. In March 2014 the SLPL Lab. consists of 6 PhD candidates, 1 postdoctoral researcher and a programmer. The SLPL Lab still has 5 vacancies among which multiple postdoctoral positions on two projects: STW DatAptor, and NWO-VICI.

    For more information, see

  • (New) PhD position in Statistical Computational Linguistics

    The Statistical Language Processing and Learning (SLPL) Lab, part of the Language and Computation research programme, is looking for a PhD candidate in statistical machine translation with interest in meaning-preserving statistical models. The University of Amsterdam provides an excellent environment for research in this area with world-class faculty in language and computation.

    For more information, see

Open Positions, General

  • Doctoral College on Logical Methods in Computer Science, Vienna

    TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering

    • computational logic, and applications of logic to
    • databases and artificial intelligence as well as to
    • computer-aided verification.

    In the years 2014-2018, the doctoral college will admit 30 PhD students. 10 positions are reserved for female applicants. The positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund. The funding can be extended for one additional year contingent on a placement at one of our international partner institutions.

    For more information, see

  • 15 permanent contract positions for experienced researchers

    Ikerbasque, the Basque Foundation for Science has launched its annual call for attracting senior researchers to the Research Institutions in the Basque Country.

    This call offers 15 permanent contract positions for experienced researchers within any of the Basque Research Institution (Universities, BERC - Basque Excellence Research Centres, CIC – Cooperative Research Centres, Biomedical institutions and Technology Corporations, among others).

    Deadline: Wednesday 10 September 2014. For more information, see

  • PhD Position: Programming, Modelling and Verification of Concurrent Software

    The Software Technologies Research Group at the University of Bamberg is offering one full-time PhD position (E13 TV-L, German public sector pay scale) available in the context of a new research project that will develop novel formalisms and techniques for software specification, verification and analysis for concurrent systems.

    We target two not necessarily disjoint types of condidates: first, practitioners with a good knowledge of and experience with modern asynchronous and concurrent programming languages and APIs; second, theoreticians with basic knowledge in formal methods and theoretical computer science (e.g., formal semantics, automata, graph transformation systems, model checking, logics, and/or compiler construction).

    For more information, see job offer at or contact info at

  • 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

  • Posts in Cyber Security and Privacy at University of Edinburgh: Lecturer (Assistant Professor) and Reader (Associate Professor)

    We are recruiting to two full-time, permanent positions in the area of Cyber Security and Privacy. Our current expertise spans topic areas ranging from theory to applied, such as quantum cryptography, verification and program analysis, provable security and logical foundations, automated reasoning, security protocols and APIs, data provenance, social media privacy, mobile security, agent-based security, authentication and passwords. We are looking for outstanding researchers and educators to join our core security and privacy group, bringing expertise in new areas and helping us to consolidate and extend knowledge within the larger academic body of the School and the wider University.

    Starting date: 1st October 2014 or as soon as possible thereafter. Salary: £38,511 - £45,954 (Lecturer); £48,743 - £54,841 (Reader). Closing date: 22nd Aug 2014.

    For more information, see the full advert at or contact David Aspinall at David.Aspinall at

  • PhD student positions in computer science (including agents, complexity theory, logic), Liverpool (England)

    The Department of Computer Science of the University of Liverpool offers a number of PhD positions in the research fields pursued in the department. We have up to 3 positions available for home and EU students in EEECS for starting in October 2014.

    Applicants are encouraged to visit and study the pages of our research groups on Agents, Complexity Theory and Algorithms, Economics and Computation, and Logic and Computation, and to contact prospective supervisors to discuss a research topic before applying.

    The deadline for this application round is Friday, August 1st. You can apply through Please do not hesitate to ask sven.schewe at or hannahf at if you have any questions.

  • (New) Two temporary lectureships in philosophy, Durham (U.K.)

    The Department of Philosophy seeks to appoint two fixed-term, full-time teaching fellows, from 1 October 2014 to 30 June 2015. Each successful applicant will have a PhD in Philosophy or a closely related discipline. He/she will be able to provide high quality teaching at undergraduate and postgraduate level. Teaching duties will involve contributions to some of the following, distributed across the two posts: Knowledge and Reality, Reading Philosophy (Level 1), Philosophy of Mind, Modern Philosophy 1, Philosophy of Science (Level 2), Aesthetics and Metaphysics (Level 3). The successful applicants will also contribute to the supervision of undergraduate dissertations within their fields of expertise, and to the MA in Philosophy. The successful applicants will also take on some administrative responsibilities.

    Closing Date: 26 August 2014. Applications should be submitted on-line, where further details (including a person specification) are also available: (reference numbers 3817 and/or 3818). Please note that two distinct posts are being advertised. The terms and conditions of the two posts are the same. You may apply for either or both, but please state in your application that you would like to be considered for both.

    If you have any questions about the application process, please contact: e.recruitment at

  • PhD student position in algebra and logic for policy and utility in information security, London (U.K.)

    Applications are invited for a PhD position at UCL's Department of Computer Science, in the Programming Principles, Logic, and Verification and/or Information Security Research Groups. The studentship is funded by UCL in connection with the EPSRC-funded project, 'Algebra and Logic for Policy and Utility in Information Security', involving teams from UCL, the University of Bath, and the University of Aberdeen, and the University of Exeter. The project is multidisciplinary, drawing upon logic, theoretical computer science, economics, and security management and policy.

    The overall project has three main components. First, a basic mathematical foundation that will address utility theory from the perspective of algebraic theories of processes and their associated modal and substructural logics. This work will provide foundations for a systems modelling framework that both incorporates utility and is fully compositional. Second, formulations of industrial- and large-scale security policy design and decision-making informed by the concepts of the systems modelling framework. Third, agent- and game-based interpretations of the modelling framework described in the first part that will address the policy issues formulated in the third part. Depending on the academic strengths and interests of the successful candidate, the studentship may be associated with any of the three components of the project.

    The studentship will be supervised by Prof. David Pym, and funded for a period of 4 years. The start-date for the studentship will be in September 2014. The deadline for applications is Monday 30th June 2014.

    For more information, see or contact Or contact Prof. David Pym at d.pym at

  • (New) Head librarian at the Max-Planck-Institute for the History of Science, Berlin (Germany)

    The Max Planck Institute for the History of Science (MPIWG) seeks a Head Librarian (to begin no later than January/February 2015).

    The MPIWG is the world's largest research institute in the history of science, with projects spanning many disciplines, cultures, languages, and epochs. Its library contains 70.000 printed volumes, including a small collection of rara and many digital sources. With the support of its library, the MPIWG has made pioneering contributions to the digital humanities. The position is ranked up to the BAT Ia / TVöD E15 level in the German system, which roughly corresponds to that of associate professor.

    Candidates are requested to submit their applications no later than September 15, 2014. For more information, see For administrative questions please contact Ms. Claudia Paass, Head of Administration (verwaltungsleitung at

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

        Back to top of page