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: 28 May 2015). 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

  • Project assistant LogiCIC

    The ILLC is currently looking for a temporary, part-time Project assistant who will provide professional support for Sonja Smets’ ERC Project, LogiCIC.

    The LogiCIC project on 'The Logical Structure of Correlated Information Change' currently consists of two PhD candidates, one postdoctoral researcher and the Principal investigator Sonja Smets. This team engages in theoretical research within the interdisciplinary area that connects logic, analytic philosophy, game theory and quantum information theory. In the framework of the LogiCIC project, the team organizes a local seminar series, several 1-day mini-workshops as well as a bigger annual international workshop. The team also hosts both short-term and long-term academic visitors in the framework of the project’s visitors’ programme. Via these events, the project’s team has built up an academic network of international researchers that are active in this area. The new Project assistant will support the team in its main organizational and communication tasks.

    The ideal candidate is a born organizer: a flexible, accurate, team-oriented person, capable of working independently, of quickly adjusting to changes of plan, with outstanding social and communicative skills. Requirements include an MA or MSc (subject open). The appointment is for 16 hours per week, and is on a temporary basis for a period of maximum 18 months, with an initial trial period of two months. Preferred starting date: 1 July 2015, but no later than 1 August 2015.

    Application deadline: 31 May 2015. For more information, see or contact Dr Sonja Smets at S.J.L.Smets at

Open Positions, General

  • Open PhD/Postdoc position at the DWS Group, Mannheim

    Time: 12-48 months
    Location: Mannheim, Germany
    Function: PhD/Postdoc researcher
    Research Topic: Artificial intelligence

    A position is currently open for a (highly motivated) PhD student or early Postdoc at the Data and Web Science (DWS) Group at the University of Mannheim, Germany, starting this fall (2015).

    She/he will work on a project on entity-centric information extraction for the finance domain. The project will involve close collaboration with a local company that develops financial software, and will proceed under the direction of Prof. S. Ponzetto and Prof. H. Stuckenschmidt.

    The aim of the project is to design and test new user-centric NLP-based methodologies and services for the personalized extraction of financial entities, events and relations from heteregenous data sources (webpages, financial feeds, corporate databases).

    For more information, please contact camilo.thorne at

    Or see

  • AAA Data Science Postdoctoral researcher in Digital Humanities

    Amsterdam Data Science, an initiative of the University of Amsterdam (UvA), VU University Amsterdam (VU), Amsterdam University of Applied Sciences (HvA), and Centrum Wiskunde & Informatica (CWI) is looking for 14 researchers at the postdoctoral/PhD level. These positions are funded by the Amsterdam Academic Alliance (AAA), a joint initiative of the UvA and VU aimed at intensifying collaboration with each other and knowledge institutions in the region, to cement Amsterdam's position as a hub of academic excellence. These positions are partially co-funded by CWI, Faculty of Social and Behavioural Sciences of the UvA, HvA, ORTEC, Spinoza fund of Prof. Vossen, and VUmc.

    For more information, see

  • Ph.D. Position in Model Theory at University of Konstanz (Germany)

    A Ph.D. position for 36 months is available at the University of Konstanz under Dr. Eleftheriou's supervision. The Ph.D. student will be amalgamated in the model theory group of the University of Konstanz and be expected to work on topics related to o-minimality. Students with some background in logic or model theory are most suited to apply. Start date: September 1, 2015 (flexible).

    Funding is provided by the Young Scholar Fund of the German Excellence Initiative and a DFG Research Grant. It includes a salary for 36 months at standard DFG rates, plus full health and social benefits. There are no mandatory teaching duties. Knowledge of English language is required.

    Deadline: June 15, 2015. For more information, see or contact Pantelis Eleftheriou at panteleimon.eleftheriou at

  • PhD Studentships in Computer Science, Electrical Engineering and Electronics Engineering

    The University of Southampton is delighted to invite applications for up to 35 fully-funded PhD studentships in the department of Electronics and Computer Science (ECS) tenable from 1st October 2015.

    For more information, see

  • PhD student positions in theoretical computer science, London (U.K.)

    Middlesex University London is offering a number of fully funded doctoral research studentships. These are three-year scholarships, covering a maintenance award and fee payments. The Foundations of Computing group, part of the School of Science and Technology, is keen to support qualified candidates (preferably with a master's degree in a relevant area) who are interested in applying for this program and who wish to pursue a PhD.

    Interested candidates should initially contact one of the group members as soon as possible to informally discuss a possible project (candidates are asked to submit a personal research statement as part of their application). The formal deadline for applications is 5th of June but candidates should contact our group by 29th of May at latest.

    For more information on the scholarship program, please visit For more information on the Foundations of Computing group, please visit For general inquiries, please contact Dr. Andrei Popescu at a.popescu at

  • PhD student position and postdoctoral position in "Computational Aspects of the Univalence Axiom", Bergen (Norway)

    A PhD and a postdoc position are available at the Dept. of Mathematics or Informatics on the project "Computational aspects of the Univalence Axiom". The applicants must have a strong background in (algebraic) topology and/or the foundation of mathematics. You must be able to work independently and in a structured manner and to demonstrate good collaborative skills.

    Closing date for applications: 10 June 2015. Detailed information about the position can be obtained by contacting: Professors Marc Bezem (Dept. of Informatics, bezem at or Bjorn Ian Dundas (Dept. of Mathematics, dundas at See and for further details.

  • (New) Two postdoctoral positions in logic, Bremen (Germany)

    The University of Bremen, Department 3 (Mathematics and Computer Science), invites applications for two postdoc positions in Computer Science (Salary Scale TV-L 13) in the ERC-funded project 'Custom-Made Ontology-Based Data Access'. The position is available from August 1st, 2015, subject to clearance by the University administration, and is limited to five years.

    The project addresses ontology-based data access (OBDA) with description logics and other decidable fragments of first-order logic such as the guarded fragment. It brings together research in logic-based knowledge representation, database theory, and constraint satisfaction problems to provide custom-tailored OBDA theory and tools for applications. We are interested both in candidates with a pure theory background and in candidates which have a solid background in theory, but are also interested in system building.

    The positions require a PhD in computer science, logic, or mathematics or a comparable qualification. Good knowledge of at least one of the involved areas is mandatory. The successful candidate will work in the group 'Theory of Artificial Intelligence' led by Carsten Lutz.

    Please send your application by June 11th, 2015, quoting the vacancy ID A91/15. For more information, see or contact Carsten Lutz at clu at

  • PhD positions in Logical Methods in Computer Science, Wien/Graz/Linz (Austria)

    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.

    LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification.

    Next application Deadline: 15 June 2015. For more information, see or contact: info at

  • Two postdoctoral positions in algorithms and computational complexity, Barcelona (Spain)

    The Computer Science Department of the Universitat Politecnica de Catalunya (UPC Barcelona-Tech) and the Barcelona Graduate School of Mathematics (BGSMath) invite applications for two postdoc research positions in the theory of computation.

    The successful candidates will join the group of Albert Atserias to conduct research in the areas of algorithms and computational complexity, and mathematical logic for the theory of computation. The researchers will be appointed as full-time employees of UPC, with affiliations at the computer science department, and their positions will be for one year, with the possibility of renewal for a second year.

    Successful candidates should have received or be about to receive a PhD degree in computer science and/or mathematics, with particular emphasis on the theory of computation or related areas (combinatorics, mathematical programming, mathematical logic, etc.). Their strong record of research should be proved by top-quality publications at the most prestigious conference venues (ICALP, FOCS/STOC, CCC, LICS, SODA, ...) and/or scientific journals.

    Deadline for applications is June 15, 2015. Check the details of the application procedure at Expected start date is September 1st, 2015, but this is to some extent negotiable.

  • Two PhD student positions in theory of computation, Barcelona (Spain)

    The Computer Science Department of the Universitat Politecnica de Catalunya (UPC Barcelona-Tech) and the Barcelona Graduate School of Mathematics (BGSMath) invite applications for two PhD positions in the theory of computation.

    The successful candidates will join the group of Albert Atserias to start their PhD studies in the areas of algorithms and computational complexity, and mathematical logic for the theory of computation. The students will be appointed by UPC as full-time students with a stipend and social security coverage for three years with the possibility of renewal for a forth year. Tuition fees will also be covered.

    Deadline for applications is June 15, 2015. Check the details of the application procedure at Expected start date is in the fall of 2015.

  • Postdoctoral position in theory and practice of ontology-based query answering for expressive ontology languages, Liverpool (England)

    The University of Liverpool, Department of Computer Science, invites applications for a Postdoctoral Research Associate Position in the EPSRC-funded project "Islands of Tractability in Ontology-Based Data Access". The position is available for three years starting July 1st, 2015.

    The research associate will work under the supervision of Professor Frank Wolter in a joint project with Dr Boris Konev and Dr Andre Hernich. The topic is theory and practice of ontology-based query answering for expressive ontology languages focusing on classes of tractable ontology-based queries. Candidates should have a PhD in Computer Science, Logic, or Mathematics and relevant expertise in computational logic, complexity theory, database theory, or knowledge representation and reasoning.

    For further details and application procedures, see

  • Postdoctoral position on "Oligomorphic Clones", Vienna (Austria)

    A postdoc position will be available at the Institute of Computer Languages of the TU Vienna within the project "Oligomorphic clones" of the Austrian Science Fund, held by Michael Pinsker.

    The position will initially be for one year, but the project will be running until 4/2018 and prolongation of the position is negotiable. The starting date can be any time between 08/2015 and 12/2015. The monthly gross salary will be around 3500 Euros, and there will be generous travel support. Although the project will be carried out at the TU Vienna, there will be intensive collaboration with the Department of Algebra of Charles University in Prague. Requirements for the applicant are knowledge of and/or interest in universal algebra, model theory, and theoretical computer science.

    For more information, see For informal inquiries, email marula at More mathematical information on the project is available at

  • (New) PhD student positions and postdoctoral positions in logic, Bremen (Germany)

    The KWARC group at Jacobs University Bremen is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects, e.g. OAF, OpenDreamKit.

    Jacobs University Bremen is a private, English-speaking research university in Germany. The KWARC group conducts research on the representation and management of formal and informal knowledge in the STEM disciplines (Science, Technology, Engineering, and Mathematics). Our interests cover the whole range from formal to informal knowledge and include logics and foundations of mathematics, formalizing/verifying knowledge, informal and semi-formal documents (specifications, papers, web pages, etc.), domain-specific applications (spreadsheets, CAD, etc.), and knowledge management (search, user interfaces, system integration, etc.). We build systems that cover these diverse areas uniformly and integrate across domains, languages, and tools, always combining logical correctness, wide-range applicability, and large-scale interoperability.

    For more information, see Interested candidates can introduce themselves or ask for further information by email to Prof. Michael Kohlhase at m.kohlhase at

        Back to top of page