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 August 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 http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-220.html.

  • 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 http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-247.html and http://www.languageininteraction.nl/jobs/id-2nd-phd-call-general.html

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

    Deadline: 15 September 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-263.html

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

    Deadline: 15 September 2014. For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-264.html

  • Lecturer / Researcher in Logic

    The Institute for Logic, Language and Computation (ILLC) has a temporary vacancy for a Lecturer / Researcher position at the Faculty of Science. The position combines a 50% research task in one of the research areas of the Institute for Logic, Language and Computation, with a 50% teaching task concerning courses in logic at the Amsterdam University College.

    For more information, see http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-266.html

Open Positions, General

  • 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 http://www.ikerbasque.net/

  • 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 http://www.uni-bamberg.de/en/swt/news/ or contact info at swt-bamberg.de.

  • 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 tu-braunschweig.de. As an illustration of the possible topics, we have recently presented a new proof of the Eilenberg Theorem. at https://www8.cs.fau.de/~milius/publications/files/ammu_fossacs2014.pdf: 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 http://www.loria.fr/~gardent/phdtopic.html

  • (New) 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 http://www.dtu.dk/english/career/job?id=05a75bdc-f4e6-4760-9d14-aa4b0686db05 or contact tobo at dtu.dk. You can read more about the Algolog group at http://algolog.compute.dtu.dk/.

  • 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 http://prism.ucl.ac.uk/pgadmissions/apply/ or contact Or contact Prof. David Pym at d.pym at ucl.ac.uk

  • (New) Postdoctoral positions (logic and uncertainty), Cardiff (U.K.)

    Applications are invited for a postdoctoral research associate post in the School of Computer Science & Informatics at Cardiff University. This is a full-time, fixed-term post for 30 months, starting on 1 October or as soon as possible thereafter.
    The main aim of this project is to study the links between Markov logic (a popular probabilistic logic for statistical relational learning) and possibilistic logic (a popular weighted logic for epistemic reasoning). This will involve the study and implementation of methods to approximate Markov logic theories into possibilistic logic, with the overall aim of learning interpretable commonsense rules from data on the web. You will work closely with Steven Schockaert (Cardiff University) and Jesse Davis (KU Leuven).

    Closing date for applications: Tuesday 2 September 2014. For more details about the project and instructions on how to apply, please go to http://krb-sjobs.brassring.com/TGWEbHost/

  • 14 PhD student grants in Computer Science, Pisa (Italy)

    We would like to announce 14 grants at the PhD in Computer Science of the University of Pisa.

    The deadline for applications is September 5th, 2014, and the selection will be made on CV, reference letters and an interview, also via teleconferencing (check *carefully* the relevant fields required).

    For further details, see http://dottorato.unipi.it/index.php/en/ or contact Mrs Enrico Carpentras <enrico at di.unipi.it> (preferably), or otherwise the chairman of the PhD Programme Prof. Pierpaolo Degano <degano at di.unipi.it>.

  • 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 http://www.mpiwg-berlin.mpg.de/en/news/jobs.html#0052. For administrative questions please contact Ms. Claudia Paass, Head of Administration (verwaltungsleitung at mpiwg-berlin.mpg.de).

  • Senior Lectureship in Theoretical Philosophy, Uppsala (Sweden)

    The primary duties associated with the position are teaching in theoretical philosophy, especially philosophy of science, at basic level, advanced level and the graduate level, as well as research. One main responsibility is teaching philosophy of science at the Civil Engineering Program and to graduate students in research areas in the natural sciences. Administrative tasks, and duties that involve collaboration with the surrounding society are also among the responsibilities. Leadership duties can be among the administrative tasks.

    Qualified for appointment as Senior Lecturer is a person who has been awarded a PhD or has the corresponding research competence, has demonstrated teaching expertise and has the personal characteristics required to perform the duties of the post well. A prerequisite for having demonstrated teaching expertise is that applicants have completed teacher training for higher education of relevance to operations at the University, comprising at least ten weeks, or have acquired the equivalent knowledge. The documented ability to teach in Swedish or in English is a qualification requirement. The successful applicant would be expected to be able to teach in Swedish within two years.

    Applications, marked with log number UFV-PA 2014/2011, should be addressed by postal mail to the Vice-Chancellor of Uppsala University and must be received by Monday, September 15, 2014. For more information, see http://www.uu.se/en/join-us/jobs-detail-page/?positionId=39766 or contact Professor Lars-Göran Johansson, acting Head of Department, phone +46 18-471 7361 (lars-goran.johansson at filosofi.uu.se).

  • 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 http://community.dur.ac.uk/peter.vickers/PhD+studentship+-+Durham.pdf.

  • 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 http://www.pascal-hitzler.de/jobs.html or email daselab-jobs at googlegroups.com.

  • 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: http://www.sheffield.ac.uk/jobs/ 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: http://www.cs.bham.ac.uk/research/groupings/theory/. Information about PhD applications may be found here: http://www.cs.bham.ac.uk/admissions/postgraduate-research/.

  • 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 http://www.hcm.uni-bonn.de/opportunities/bonn-junior-fellows/.

  • (New) 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 http://ctic.au.dk/positions/ or contact Peter Bro Miltersen at bromille at cs.au.dk.

        Back to top of page