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: 8 February 2016). 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

Open Positions, General

  • Hack Your Future

    Hackyourfuture is an initiative that teaches computer programming to refugees in Dutch refugee centers. At the moment many refugees have very few possibilities in terms of work and education during their time in a refugee center. Our aim is to teach refugees to program and to bring them in contact with our network of businesses that hire programmers. Currently we're developing our on-line educational program and we're looking for programmers who would like to help out to create a high quality course.

    We are looking for people who'd like help as:
    - tutors, who help our students with their programming exercises and help them with more general questions. (like what language to learn next, career questions etc.) This is mainly done on-line and takes 2-4 hours a week. (we will teach multiple programming languages)
    - program developers, who organize and structure the educational set-up of the program. This mainly comes down to creating a curriculum of interesting exercises for our students after they have learned the basics of programming.

    If you're interested in helping, or have any questions mail usinfo at hackyourfuture.net. Also have a look at our website: http://www.hackyourfuture.net/. All help is greatly appreciated.

  • PhD position in Logic & Foundations of Decision Making

    A PhD position is open at the Faculty of Technology, Policy and Management at the Delft University of Technology.

    The PhD candidate will conduct research at the interface of logic and computer science, and theories of decision making, such as decision theory, game theory, and social choice theory. The research project will be formulated in consultation with the PhD candidate. Particular topics of interest include the development of modal logics of strategic ability, belief and rationality, as well as algebraic/coalgebraic methods for reasoning about dynamic decision making processes. The PhD candidate will be supervised by Dr. Helle Hvid Hansen who works closely with the Applied Logic group at TPM, as well as with other researchers in coalgebra and logic in the Netherlands and abroad.

    For more details, and information on how to apply (closing date: 14 Dec 2015), go to http://recruitment2.tudelft.nl/vacatures/.

  • Postdoc position at KTH Royal Institute of Technology

    The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in computational complexity.

    The postdoctoral researchers will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. On the theoretical side, proof complexity has turned out to have deep, and sometimes surprising, connections to other topics such as, e.g., circuit complexity, communication complexity, and hardness of approximation, and therefore researchers in these or other related areas are more than welcome to apply.

    These are full-time employed positions for one year with a possible one-year extension. The expected starting date is August-September 2016, although this is to some extent negotiable.

    The application deadline is January 24, 2016. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2015-0816-Eng.php . Informal enquiries are welcome and may be sent to Jakob Nordstrom.

  • Postdoc position in SAT solving at KTH Royal Institute of Technology

    The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in SAT solving.

    The postdoctoral researchers will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. On the practical side, some interesting problems are to gain a better understanding of the performance of current state-of-the-art SAT solvers — in particular, solvers using conflict-driven clause learning (CDCL) — and to explore techniques that would go beyond CDCL, such as approaches based on algebraic or geometric reasoning.

    These are full-time employed positions for one year with a possible one-year extension. The expected start date is August-September 2016, although this is to some extent negotiable.

    The application deadline is January 24, 2016. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2015-0823-Eng.php . Informal enquiries are welcome and may be sent to Jakob Nordstrom.

  • PhD Positions in Artificial Intelligence, EPFL, Lausanne

    Located in Lausanne, Switzerland, on the shores of Lake Geneva and about 30 minutes from Geneva, EPFL is a leading research university. The Artifical Intelligence Laboratory (LIA), headed by Boi Faltings, has been active in intelligent agents and multi-agent systems for over 15 years.

    LIA has several openings for Ph.D. candidates in Artificial Intelligence, with particular interest in autonomous intelligent agents, multi-agent systems, computational game theory, and multi-agent learning. Studies will be part of the EDIC Ph.D. program. The positions carry an assistantship with an annual salary of about 50000 Swiss Francs/year.

    Applications have to be submitted to EDIC at http://phd.epfl.ch/edic by April 15th, 2016. For more information, see the LIA-website at http://liawww.epfl.ch/, or contact prof. Boi Faltings by email: boi.faltings at epfl.ch.

  • Postdoc Position in Multi-agent Systems, EPFL, Lausanne

    Located in Lausanne, Switzerland, on the shores of Lake Geneva and about 30 minutes from Geneva, EPFL is a leading research university. The Artifical Intelligence Laboratory (LIA), headed by Boi Faltings, has been active in intelligent agents and multi-agent systems for over 15 years.

    LIA has en opending for a post-doc position. The position is not attached to a specific project but candidates should have a background in the broad area of multi-agent systems, ranging from AI planning to computational game theory. The position offers possibilities for career development through teaching and supervision of student projects at all levels. The annual salary is very competitive at about 80000 Swiss Francs/year. The starting date can be as soon as possible but is flexible.

    For more information, see the LIA-website at http://liawww.epfl.ch/, or contact prof. Boi Faltings by email: boi.faltings at epfl.ch.

  • PhD position in Logic, AI and philosophy, Utrecht (the Netherlands)

    An open PhD position is available in the REINS project on the topic of 'Responsible agency'. We are looking for a student with a formal/philosophical logic background (not necesarilly a mathematical logic background) who wants to further develop his knowledge and skills in an interdisciplinary project with legal theorists, AI-researchers and philosophers.

    More on the informal aspects of the project can be found at http://www.projects.science.uu.nl/reins/ For inquiries, please send an email directly to Jan Broersen at J.M.Broersen at uu.nl.

  • PhD Position in Logic, University of Bern

    The Mathematical Institute at the University of Bern invites applications for a PhD position in the Mathematical Logic Group of Prof. George Metcalfe.

    Applicants are expected to have a strong background in Logic and an interest in pursuing research on topics related to Universal Algebra, Proof Theory, and/or Non-Classical Logics. Due to University regulations, applicants should also have at least a (Bachelor) Minor in Mathematics and a Masters degree before starting the position.

    The salary for the position, including a 15 percent teaching assistantship, is approximately 50,000 Swiss Francs per year.

    For more details, and information on how to apply (closing date: 30.4.2016) please contact Prof. George Metcalfe by email atgeorge.metcalfe at math.unibe.ch.

  • University of Lublin: PhD position

    The Faculty of Philosophy at the John Paul II Catholic University of Lublin invites applications for one PhD position (33 months) starting from 01 April 2016 or soon after. The Faculty is a vital research and teaching environment in Philosophy and Cognitive Science, offers excellent career development opportunities. The position will be in the project "Permissions, Information and Institutional Dynamics, Obligations, and Rights" under the supervision of Prof. Piotr Kulicki.

    Deadline: Monday 15 February 2016. For more information, see http://www.philosophy.kul.pl/phd-student-position/ and http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft//

  • Postdoc research fellows, Basque Country, Spain

    Ikerbasque - the Basque Foundation for Science, launched a call offering 15 contract positions for postdoctoral 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). These Fellowships are intended to offer young promising researchers a track towards a PI role and independent research. The applicants must have their PhD completed between 1/1/2006 and 31/12/2013. The positions are for a period of 5 years. Application deadline: 4 April 2016.

    For more information, see http://www.ikerbasque.net/

  • (New) University of Strathclyde: Research Associate

    Applications are invited for a Research Associate to work under the supervision of Dr Clemens Kupke on the EPSRC grant "Coalgebraic Foundations of Semi-Structured Data".

    Deadline: 29 Februari 2016. For more information, see https://bit.ly/1KLxjMz

  • (New) University of Strathclyde: PhD Position

    Applications are invited for PhD study under the supervision of Dr Clemens Kupke and Prof Neil Ghani in coalgebra, category theory and logic with special focus on coalgebraic fixpoint logics and their applications in databases and economic game theory. The position is fully funded for EU students and will last for 3.5 years.

    For more information, please contact P.vanOrmondt at uva.nl

    Or see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7158.

        Back to top of page