Universiteit van Amsterdam

News and Events: Open Positions

These pages provide information about recent developments at or relevant to the ILLC. 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.


No Open positions at ILLC

Headlines Open positions, general

Open positions, general

  • (New) PhD in Computer Science/Big Data

    Deadline: Saturday 1 February 2020

    The department of People and Technology, Roskilde University, invites applications for a position as PhD of Big Data. The PhD student will be part of the Centre for Big Data, which is an interdisciplinary research centre focusing on big data analytics, methodologies, modelling, big data learning and visualisations of big data in different contexts.

    For more information, see https://ruc.dk/en/vacant-positions-roskilde-university or contact Henrik Bulskov at .
  • Two PhD Position in Formal Modelling of Multiagent Systems, Utrecht University (The Netherlands)

    Deadline: Monday 20 January 2020

    Applications are invited for two PhD positions at the Intelligent Systems group, Department of Information and Computing Sciences, Utrecht University, in the general area of formal modelling of intelligent agents and multi-agent systems, supervised by Prof. Mehdi Dastani and/or Dr Natasha Alechina, possibly jointly with other researchers at Utrecht. Possible topics include, but are not limited to: formal modelling of social systems, synthesis of norms for social systems, verification of learned strategies, verification and synthesis of strategies in multi-agent systems under resource constraints. We are looking for candidates with a good background in modal or temporal logic, understanding of basic AI concepts and techniques (intelligent agents, planning, learning) and some computational background (such as ability to analyse correctness and complexity of algorithms).

    For more information, contact Natasha Alechina at .
  • Tenure-track faculty position in AI, Rochester NY (U.S.A.)

    Deadline: Wednesday 1 January 2020

    The Computer Science department at the University of Rochester is seeking a tenure-track faculty position in Artificial Intelligence, broadly defined. Candidates in all areas of computer science and at any level of seniority are encouraged to apply. The department is very open and encourages candidates with an interdisciplinary approach.

  • Two research fellowships and one PhD studentship in verification, London (England)

    Deadline: Sunday 5 January 2020

    Applications are invited for two Research Fellow/Senior Research Fellow positions (one position will be at University College London, and one at Royal Holloway University of London), and one PhD studentship (at UCL). Successful applicants will be working on the EPSRC-funded "Verification of Hardware Concurrency via Model Learning" (CLeVer) project.

    This is a joint research endeavour involving the Computer Science Departments of two UK's leading research-intensive universities -- University College London and Royal Holloway University of London -- and ARM, world-leading designer of multi-core chips. We are looking for candidates with experience in one or more of the following areas: model learning techniques, verification, concurrency, and formal methods. Experience in tool implementation will also be valued.

    For more information, see here or contact .
  • Two faculty positions (any level) in all areas of Computer Science, London (England)

    Deadline: Wednesday 8 January 2020

    The Department of Computing at Imperial College London invites applications for full-time faculty members at all levels who can contribute to research and teaching in the foundations and practice of Computer Science. Applications are welcome from from all areas of Computer Science, including AI, either to strengthen existing areas or develop new areas.

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

    Deadline: Saturday 11 January 2020

    TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering computational logic, and applications of logic to databases and artificial intelligence, computer-aided verification, security and privacy, cyber-physical systems, as well as to distributed systems.

    Our PhD program LogiCS is focusing on logic and its applications in computer science. We are looking for 8 very strong doctoral students. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems.

    For more information, see https://logic-cs.at/phd/admission/ or contact .
  • Lectureship B in Philosophy, Melbourne (Australia)

    Deadline: Sunday 2 February 2020

    The Philosophy Program in the Department of Politics, Media, and Philosophy at La Trobe University is looking to appoint a Level B continuing Lecturer. The position is open with regards to area of specialisation.

    Philosophy at La Trobe has a long and distinguished history of excellence, with many internationally prominent philosophers having worked at La Trobe. La Trobe has made strong hires in recent years aimed at renewing the Philosophy Program, with the ambition of returning the program in time to a 4 in ERA and continuing its legacy as one of the strongest and most innovative Philosophy programs in Australia. This appointment is part of the University's ongoing commitment to that process of renewal.

  • Lectureship in Mathematical Philosophy, Sydney (Australia)

    Deadline: Wednesday 8 January 2020

    The University of Sydney is currently advertising the position of Lecturer in Mathematical Philosophy. This is a full-time, continuing position at Level B (roughly equivalent to a tenure-track Assistant Professor in the U.S.).

  • Postdoctoral position in Decision-Making Theory, Prague (Czech Republic)

    Deadline: Tuesday 31 December 2019

    The Institute of Information Theory and Automation, Czech Academy of Sciences invites applications for a two-year postdoctoral position in the Department of Decision-Making Theory (with a possibility of a tenure-track) ideally beginning in February 2020. Most of departmental research activities belong to the area of applied mathematics, the focus is on theoretical problems as well as problems connected with implementations of methods in the following areas: mathematical optimization, nonsmooth analysis, partial differential equations, variational calculus, probabilistic models of decision support systems, conditional independence structures, artificial intelligence, and/or mathematical fuzzy logic.

    Candidates are expected to work in one of the above mentioned or closely-related areas and to have a strong record of, or outstanding potential for, significant research. In particular, candidates working in the last four listed areas are strongly encouraged to apply.

    For more information, see http://www.utia.cas.cz/news/3108 or contact Martin Kružík at .
  • Thirteen PhD positions in Situated Cognition, Bochum/Osnabrück (Germany)

    Deadline: Monday 10 February 2020

    This is a call for 13 PhD-positions starting on 1st of June 2020 as the key component of the Research Training Group „Situated Cognition“. The RTG is based at the Department of Philosophy II and the Faculty of Psychology at Ruhr-University Bochum as well as at the Institute of Cognitive Science and the Department of Philosophy at Osnabrück University.

    All PhD positions are essentially interdisciplinary with an emphasis on one of the subjects involved, i.e. philosophical theory formation, experimental psychology or neuroscience. Applicants have to apply for one of the suggested projects (max. two with indication of preference). In addition, applicants are encouraged to submit their own original project proposal in one of the theoretical areas, as long as the proposal fits the RTG?s guiding idea.

  • Visiting Fellowships in Logic & Philosophy of Science, Tilburg (The Netherlands)

    Deadline: Tuesday 7 January 2020

    The Department of Philosophy at Tilburg University invites applications for visiting fellowships for the calendar year 2020. The fellowships are intended for advanced Ph.D. students, postdocs or junior faculty.

    Applicants should be keen on being an active part of a lively research community and on intellectual exchange with the resident fellows at Tilburg. The planned work of the candidates should relate to one (or more) of the research areas covered by members of TiLPS or PHC&E research groups. TiLPS (The Tilburg Center for Logic and Philosophy of Science) and PHC&E (Philosophy of Humanity, Culture, and Ethics) sustain a full calendar of research events, such as regular seminars, workshops and conferences. The visiting fellows are expected to actively participate in these activities.

  • Postdoctoral fellowship (3y) in Philosophy of Maths, Bergen (Norway)

    Deadline: Monday 16 December 2019

    The Philosophy Department at University of Bergen, Norway welcomes applications for a 3-year Postdoctoral Fellowship in the research project _Mathematics with a Human Face: Set Theory within a Naturalized Wittgensteinean Framework_. The project, within which the Wittgenstein Archives Bergen is a central component, is funded by the Norwegian Research Council. Project leaders are professors Sorin Bangu and Kevin Cahill.

    The applicant must have a sound familiarity with the philosophy of later Wittgenstein, philosophy of mathematics and philosophy of language. Expertise in the philosophy of set theory, philosophy of mathematical practice, philosophy of science and/or anthropological aspects of mathematics constitute an advantage.

  • PhD student position in formal verification, Heerlen (The Netherlands)

    The Open University of the Netherlands is looking for a PhD student, who will work on formal verification of low-level security properties of compiled binaries. The position is fully funded (4 years). Remuneration is according to the collective labor agreement in the Netherlands, starting at 2325 eur (pre-tax).

    For more information & applications (cover letter+CV) address to . The position will remain open until fulfilled.

    For more information, contact .
  • (Updated) PhD Student Position in Mathematical Logic, Bern (Switzerland)

    The Logic Group of the Mathematical Institute of the University of Bern is seeking applications for a PhD student on the Swiss National Science Foundation funded project "Hidden Quantifiers" to conduct research in the areas of universal algebra, proof theory, and non-classical logics. Applicants should be highly motivated and have a strong background in mathematics and logic.

    For more information, contact George Metcalfe at .
  • Simons-Berkeley Research Fellowships for 2020-2021

    Deadline: Sunday 15 December 2019

    The Simons Institute for the Theory of Computing invites applications for Simons-Berkeley Research Fellowships for the Fall 2020 and Spring 2021 semesters. Simons-Berkeley Research Fellowships are intended for up-and-coming researchers who are getting close to defending their PhD degree or are at most 6 years past it at the start of the academic year 2020-21. This includes researchers who already hold junior faculty or postdoctoral positions. In particular, applicants who expect to have postdoc positions at other institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow, subject to the approval of the home institution.

    In each semester of residence, each Fellow will normally participate in at least one of the ongoing programs at the Institute. We wish to highlight the semester program "Satisfiability: Theory, Practice, and Beyond", which will run in the spring of 2021 in parallel with "Theoretical Foundations of Computer Systems".

    For more information, see https://simons.berkeley.edu/fellows2020 or contact Jakob Nordstrom at .
  • Postdoctoral position in formal methods, Gothenburg (Sweden)

    Deadline: Friday 21 February 2020

    A postdoc position is available to work on the ERC Consolidator funded project "dSynMA: Distributed Synthesis from Single to Multiple Agents".

    The aims of the project are to develop theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of temporal logic.

  • PhD Positions at Institute of Science and Technology Austria (IST Austria)

    Deadline: Wednesday 8 January 2020

    IST Austria offers fully-funded PhD positions in the natural and mathematical sciences in a world-class research environment on the outskirts of Vienna. Students with a bachelor’s or master’s degree in biology, neuroscience, mathematics, computer science, physics, cryptography and related areas are encouraged to apply. IST Austria offers internationally competitive salaries, full health benefits, and subsidized on-campus housing in the first year.

    IST Austria organizes a Student Open Day on Friday, November 22nd 2019, where applicants  will get the chance to meet the research groups through lab tours and “Meet the Research Group” sessions, organized by our professors, PhD students, and postdocs. You can also discover the campus through a campus tour and learn about the history and future of IST Austria.

    For more information, see https://phd.pages.ist.ac.at/phd-admissions/ or contact Christian Schaffner at .
  • Research Fellowship in Mathematical Logic and TCS, Singapore (Singapore)

    The researchers Frank Stephan, Yang Yue and Sanjay Jain at the National University of Singapore want to hire on their grant "Effective representations of algebraic structures" one research fellow in the areas of Mathematical Logic and Theoretical Computer Science. The candidate will do mathematical research in the areas of recursion theory, inductive inference, model theory and effective algebra; the applicant is expected do research and write papers inline with the research programme approved by the MOE for these positions. The applicant should also be able to present the results found at scientific conferences.

    Job requirements: Good knowledge of mathematics in general and the research areas above in particular. Prior publications and a PhD in mathematical logic or theoretical computer science are expected. The applicant should know at least some of the research areas of recursion theory, inductive inference, model theory and effective algebra and should be able to work in new areas of research.The applicant should have at least 3 years of experience in research; research done as masters or PhD student counts towards this requirement.

    For more information, see http://www.comp.nus.edu.sg/~fstephan/rfposition.html or contact Frank Stephan at , Yang Yue at , or Sanjay Jain at .
  • Postdoctoral position in philosophical logic, Los Angeles CA (U.S.A.)

    Deadline: Tuesday 1 December 2020

    The UCLA Department of Philosophy is offering a one year (with the possibility of a one-year renewal) post-doctoral research fellowship to a recent Ph.D. in philosophy whose primary area of research lies in logic, language, or mind.  One or two postdoctoral fellowships will be available depending on funding, and the post-docs are for one-year with the possibility of a one-year renewal. The position will coincide with a research cycle of workshops, conferences, and visitors in these areas made possible by a recent gift to the department.

    For more information, see https://philjobs.org/job/show/14102.
  • Assistant Professorship in Foundations of Mathematics, Las Cruces NM (U.S.A.)

    Deadline: Sunday 15 December 2019

    The Department of Mathematical Sciences at New Mexico State University invites applicants for a tenure-track faculty appointment to be filled at the Assistant Professor level beginning August, 2020. The position will support research and teaching needs in the department, with research focus in Foundations of Mathematics. Individuals interested in contributing to a diverse academic community are particularly encouraged. 

    Candidates must have a Ph.D. in Mathematics or related area prior to August, 2020 and are expected to demonstrate outstanding research potential, excellent communication skills, and a commitment to excellence in teaching at both the graduate and undergraduate levels. Expected duties include graduate and undergraduate teaching, sustained research, supervision of graduate students, submission of competitive external funding proposals, and some university service.

  • PhD student position in Computer Science Logic, Liverpool (England)

    The Knowledge Representation and Verification Groups at the Department of Computer Science, University of Liverpool, jointly offer a PhD Scholarship for work at the intersection Logic, Knowledge Representation, and Databases.

    The PhD student will be supervised by Professors Frank Wolter and Boris Konev and Dr Martin Zimmermann and will closely collaborate with Postdoctoral Researchers working on the new EPSRC-funded research project 'quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data', a joint project with Professor Michael Zakharyaschev at University of London. The PhD student on this project will have a good background in one of the following areas: computational logic, mathematical logic, databases, or knowledge representation and reasoning.

  • Two postdoctoral positions (3y) in Semantics & Descriptive Complexity, Oxford & Cambridge (England)

    Deadline: Wednesday 8 January 2020

    There are two post-doctoral research positions open, one at Oxford and one at Cambridge, to work on a new EPSRC-funded project on "Resources and co-Resources: A junction between semantics and descriptive complexity" which is jointly led by Prof. Samson Abramsky FRS at Oxford, and Prof. Anuj Dawar at the University of Cambridge. The positions are available to start as soon as possible, and are funded for 36 months.

    The project seeks to explore ways in which methods from the study of logic and algorithms (specifically finite model theory and descriptive complexity) can be combined with methods from semantics (such as category theory) to build a cohesive algebraic theory of resources. This builds on recent work obtaining categorical accounts of essential constructions in finite model theory (by Abramsky, Dawar and Wang and Abramsky and Shah), as well as categorical accounts of quantum resources (by Abramsky, Barbosa, de Silva and Zapata). This work made essential use of monads -- seen as encapsulating quantum and other resources -- and of comonads, which encapsulate 'coresources', i.e. ways of limiting access to a structure corresponding to definability in various logics. The project will seek to apply these new tools to major results in descriptive complexity, to expand them to cover other important constructions, to find ways of combining accounts of quantum resources and logical co-resources, and to build a general theory of these.

    There are separate application processes for applying for the two positions. Details of these and further information may be found at these webpages: http://www.cs.ox.ac.uk/news/1735-full.html http://www.jobs.cam.ac.uk/job/23436/. For further questions or enquiries, contact or

  • Postdoctoral teaching position in "Critical Thinking for Engineers", Delft (The Netherlands)

    Deadline: Tuesday 7 January 2020

    The Ethics and Philosophy of Technology Section at Delft University of Technology is currently developing a "Critical Thinking for Engineers program" (CTfE) within the context of the 4TU.CEE. To achieve the project goals, we are looking for a FULLTIME POSTDOC for TWO YEARS who combines thorough knowledge in argumentation theory with inside acquaintance with (at least one branch of) engineering and technology. S/he should be inspired by the specific niche CTfE occupies within the field of Critical Thinking in general.

    The project aims at elaborating CTfE cases; i.e., developing sound argumentation in favor or against descriptive or normative engineering claims. It also aims at an inventory of the CTfE needs and wishes at the Dutch Technical Universities; and it also aims at an analysis of the overlap between engineering ethics and CTfE. The education goals of this project are: ready-made course material that meets the needs of teachers at the four Dutch Universities of Technology. This material should consist of: adjustable lecture sheets for adaptable CTfE courses; accompanying lecture notes or a textbook manuscript (outlines of the sheets and notes have been developed already); elaborated cases from all branches of engineering, serving the purpose of illustration and exercise or assignment; modules for blended learning; multiple choice exam questions and other examination material on paper and online.

    The Postdoc to be appointed will contribute to all these tasks in close collaboration with other staff and student assistants and will start in January, 1st, 2020.

    For more information, see https://ethicsandtechnology.eu/ or contact Sjoerd Zwart at .
  • Postdoctoral position in Mathematical Logic & Mathematical Statistics, Toronto (Canada)

    Deadline: Saturday 4 January 2020

    The University of Toronto seeks a Postdoctoral Researcher to conduct collaborative research outlined in an awarded NFRFE-2018 New Frontier in Research proposal, titled 'Rebuilding the Foundations of Bayesian Statistics on Nonstandard Analysis' (PI: Daniel M. Roy).

    Our proposal aims to rebuild the mathematical foundations of Bayesian statistics using tools from mathematical logic and nonstandard analysis that were unavailable at the time Bayesian analysis was formalized. Our goal is to tackle one of the grand challenges in mathematical statistics: fully characterize the relationship between Bayesian and frequentist inference, the two dominant approaches to statistical inference. In recent work, replacing the standard model of countably additive probability theory with a nonstandard model allowed us to settle a longstanding open problem of deriving a Bayesian characterization of frequentist extended admissibility. We believe that rapid progress on the grand challenge can be achieved by committing additional resources to this unconventional approach.

  • Assistant, Associate or Full Professorship in Quantum Information, Computing, & Logic, Helsinki (Finland)

    Deadline: Saturday 4 January 2020

    The Department of Physics at the Faculty of Science of the University of Helsinki invites applications for a
    Professor or Assistant/Associate Professor in Quantum Information, Computing and Logic. The position is part of the University of Helsinki profiling action on Mind and Matter – foundations of information, intelligence and consciousness, aiming to strengthen new interdisciplinary research areas at the university. Applicable research topics include quantum information theory, quantum computing and applications, as well as related topics in quantum gravity and quantum field theory. The focus will be on the growing quantum interface between different subfields of physics, mathematics and computing.

  • Visiting Fellowships in Philosophy of Science, Pittsburgh PA (U.S.A.)

    Deadline: Sunday 15 December 2019

    The Center for Philosophy of Science at the University of Pittsburgh invites applications for Fellowships supporting visits in the Center for a term or an academic year during the year 2020-2021.The Center is pleased to announce that Nick Huggett will be the Senior Visiting Fellow for the academic year September 2020 - April 2021. We encourage applications for Postdoctoral and Visiting Fellowships from scholars whose research intersects with Professor Huggett's.

  • PhD position in Coalgebraic Model Checking at Friedrich-Alexander-Universität Erlangen-Nürnberg

    We are pleased to announce an opening for a fully funded three-year PhD position (E-13 on the German TV-L scale, full time, no teaching
    obligation) at Friedrich-Alexander-Universität Erlangen-Nürnberg, located at the Chair of Theoretical Computer Science. The position is within the new DFG project "Coalgebraic Model Checking", with Stefan Milius and Lutz Schröder as PIs and with Daniel Hausmann collaborating on a second project position. The aim of the project is to develop a generic framework for model checking a wide variety of logics beyond the standard relational setting, such as probabilistic, graded, or alternating-time logics, based on the successful paradigm of coalgebraic logic.

    For more information, see https://www8.cs.fau.de/ or contact Stefan Milius at , or Lutz Schröder at .
  • Temporary Lectureship in Theoretical Computer Science, Oxford (England)

    Deadline: Monday 30 December 2019

    The Department of Computer Science at the University of Oxford is seeking to hire a Departmental Lecturer in theoretical computer science. Areas of particular interest include logic, verification, and algorithms. This is a fixed-term contract until 31 March 2021.