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: 20 October 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

  • 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

  • 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

  • (New) Assistant Professor, Ethics & Digital Culture, UCF Florida (U.S.A.)

    The Department of Philosophy at the University of Central Florida (UCF) invites applications for a tenure earning Assistant Professor position in Ethics and Digital Culture beginning in August 2015. This is a shared position between the Department of Philosophy and the Texts and Technology Ph.D. program, and the successful candidate will be involved in both areas. This is a 9-month per year position with an expected teaching load (pre-tenure) of 5 courses per academic year, with the possibility of optional summer teaching. The position is pending budgetary approval.

    A Ph.D. in Philosophy or a related field from an accredited university is required by the time of hire.

    The successful candidate will have a research specialization in the study of ethics and digital culture. This could include areas such as: ethical dimensions of new media, ethics and digital pedagogy, the ways that digital environments affect ethical action, social behavior and social justice using digital tools or in digital environments, ethics in gaming, and/or ethics in digital humanities, rhetoric, history, media or communications. The successful candidate must be able to teach courses at both the graduate and undergraduate levels. Demonstrated competence in teaching courses such as Virtual Ethics and Ethical Theory is preferred, as is experience with teaching large classes and/or experience or willingness to develop web-based instruction. Thesis direction at the graduate and undergraduate level will be expected, as will participation in program and course development.

    Job close date: 4 December 2014. For more information, see

  • 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

  • Professorship in mathematical foundations of computer science, Natal (Brazil)

    UFRN (the Federal University of Rio Grande do Norte, in Brazil) has two open faculty positions. The positions are at DIMAp, the Department of Informatics and Applied Mathematics. One position is for Mathematical Foundations of Computer Science; the other for Numerical Methods, with a bias towards Scientific Computing.

    UFRN is one of the very few universities in Brazil where logicians may be found at the departments of Informatics, Philosophy and Mathematics (and even the present rector of the university used to work as a logician). We would very much welcome another logician to strengthen our ranks. For the Mathematical Foundations position, the topics for the written exam and for the didactics exam may be found at: As you can see, we are looking for someone with a solid background on Universal Algebra and Set Theory, and willing to teach Discrete Math to undergrad computer science students.

    The application should be made from October 06 to October 30, 2014. The selection process is through a formal concours. Some knowledge of Portuguese is required in the concours.

    For more information, see

  • Two PhD scholarships in Philosophy of Mind and Cognition, Wollongong (Australia)

    The University of Wollongong's Faculty of Law, Humanities and the Arts is offering two PhD scholarships to further enhance our growing strength in the Philosophy of Mind and Cognition. Scholarship are offered in conjunction with new appointments of Hutto as Professor of Philosophical Psychology and Gallagher as Professorial Fellow in Philosophy. Scholarships are available for commencement in either early or mid 2015.

    Successful candidates will be supervised by Professor Hutto, Professor Gallagher and other members of the philosophy department. They will be expected to work on research topics connected with Enactive, Embodied, Extended and Scaffolded approaches to the Philosophy of Mind and Cognition. Possible topic areas include: emotions; emergence; group minds/group cognition; imagination; narrative and theory of mind; narrative explanation; narrative and selfhood; origins of content; scaffolded minds. Projects that have the potential to connect with issues in Ethics, Political Philosophy, or Philosophy of Law are welcome, as these are also prominent areas of research at Wollongong.

    Deadline for applications: Friday 31 October 2014. For more information, see

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

  • Assistant Professorship in Set Theory, Oxford OH (U.S.A.)

    The Department of Mathematics, Miami University, invites applications for a tenure track position as Assistant Professor in Set Theory, starting in Fall 2015.

    The successful candidate must have completed a Ph.D. before the starting date. Duties include an active research program in mathematics, effective teaching at both the undergraduate and graduate levels, and service to the institution. Preference will be given to candidates in Logic/Set Theory, but outstanding candidates in all areas matching existing research groups in the department will be considered.

    Screening of applications will begin on November 15. Details can be found here:

  • 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

  • Assistant Professorship in Logic and Foundations at University of Colorado, Boulder (U.S.A.)

    The Department of Mathematics at the University of Colorado, Boulder, invites applications for a tenure-track position, at the level of Assistant Professor, in Logic and Foundations. This position will begin in Fall 2015. The candidate must have a doctoral degree at the date of appointment, and is expected to have demonstrated the capacity for independent research of excellent quality. In addition to research accomplishments, selection criteria include potential contributions to the educational programs of the Department at the graduate and undergraduate levels.

    To ensure full consideration, complete applications should be submitted by December 1, 2014. For more information, see, or contact Donna Maes at maesd 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