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.
Headlines Open positions at ILLC
Headlines Open positions, general
Open positions at ILLC
Webprogrammer Speech and Music LabDeadline: Tuesday 15 December 2020
Als webprogrammeur werk je aan het ontwikkelen van online experimenten in de vorm van aantrekkelijke games, luisterexperimenten, vragenlijsten, en andere vormen van online onderzoek, ter ondersteuning van onderzoekers op het gebied van muziek en spraak. Daarnaast ben je verantwoordelijk voor het ontwikkelen en onderhouden van de vereiste privacyprotocollen en systemen voor research data management.For more information, see here or at https://www.uva.nl/content/vacatures/2020/11/20-694-webprogrammeur-spraak--en-muzieklab.html or contact Ashley Burgoyne at J.A.Burgoyne at uva.nl.
Postdoctoral researcher in Computational Social ScienceDeadline: Thursday 3 December 2020
Are you a passionate and committed researcher and well versed in cutting-edge computational social science approaches? Would you like to be involved in frontier research on large-scale network analysis and official register data and work with highly qualified researchers in an interdisciplinary academic environment? Effective immediately, we are seeking a postdoc in Computational Social Science. You will be part of the POPNET platform, and your position is hosted by the Faculty of Humanities. You will do your research under the aegis of the Institute for Logic, Language and Computation (ILLC). The ILLC is a renowned research institute at the University of Amsterdam, in which researchers from the Faculty of Humanities and the Faculty of Science collaborate.
As an ideal candidate for this position, you find yourself at home in the international computational social science research community. You have a well-developed skillset in scientific programming and an affinity with network analysis in particular. You are able to work with very large data and have the creativity and curiosity to develop new network measures and statistics. You are keenly aware of the ethical issues related to using large scale social register data and want to contribute to a responsible scholarly practice on big data analytics.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/11/20-691-postdoctoral-researcher-in-computational-social-science.html or contact Tobias Blanke at t.blanke at uva.nl.
Postdoctoral Researcher in Mathematical LogicDeadline: Tuesday 1 December 2020
The Institute for Logic, Language and Computation (ILLC) is looking for an exceptional researcher in the area of Mathematical Logic to hold a one-year postdoctoral position within the project 'The Logic of Conceivability [LoC]. Modelling Rational Imagination With Non-Normal Modal Logics'. This is a 5-year project (2017-2022) funded with 2.000.000 Euros by the European Research Council, and led by Principal Investigator (PI) Prof. Franz Berto.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/09/20-542-postdoctoral-researcher-in-mathematical-logic.html or contact Franz Berto at f.berto at uva.nl.
Assistant professor Theoretical Computer ScienceDeadline: Sunday 29 November 2020
Do you have the ambition to carry out top academic research in Theoretical Computer Science at the Institute for Logic, Language, and Computation? Are you interested to work in our thriving interdisciplinary environment where you can establish connections to research lines in neighboring disciplines? Do you have the drive to teach theoretical computer science in our bachelor/master programmes?
We offer a position as assistant professor in Theoretical Computer Science at the Institute for Logic, Language and Computation (ILLC), an interdisciplinary research institute at the University of Amsterdam. The area of theoretical computer science comprises a broad variety of topics or subfields, including (but not restricted to) algorithms and computational complexity, program semantics and verification, logic and computation, machine models and automata, information theory, machine learning, and the foundations of artificial intelligence. You are a leading researcher in one of these areas, with a good knowledge of the wider area of theoretical computer science, and experienced in academic teaching.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/10/20-647-assistant-professor-theoretical-computer-science.html or contact Yde Venema at y.venema at uva.nl.
Open positions, general
Postdoctoral position (3+2y) in databases, Bremen (Germany)Deadline: Sunday 17 January 2021
At the University of Bremen in the department of mathematics and informatics there is a full PostDoc position available, commencing at the earliest convenience. The position is at the level of "Wissenschaftliche/r Mitarbeiter/in Entgeltgrupppe (13 TV-L)" within the group "Databases" headed by Prof. Sebastian Maneth. The position is for a duration of 3 years, with a possible prolongation of additional 2 years. This position is research only (= no teaching obligations) within a project that is funded by the DFG. The topic of the project is "definability of tree transformations".
We are looking for a post-doctoral researcher with an excellent track record in automata theory or formal language theory and with the will and enthusiasm to crack these hard problems.For more information, see https://www.uni-bremen.de/en/university/the-university-as-an-employer/job-vacancies-1/job/220 or contact Prof. Dr. Sebastian Maneth at maneth at uni-bremen.de.
(Updated) Open Associate Professor position (tenured) in AI and Logic, Bergen (Norway)Deadline: Monday 11 January 2021
The Logic and AI group at the University of Bergen in Norway has a vacancy for an Associate Professor (permanent tenured position).
We are looking for (but are not limited to) a colleague who does research in multi-agent systems, information aggregation, machine ethics, social network analysis, and/or formal argumentation. The position is also open for excellent applicants with other AI perspectives focussing on social interaction.
The position is teaching/research. At our department Associate Professors typically teach one course in the semester. The new colleague will be a part of the new bachelor-program in artificial intelligence that the Department will offer in Autumn 2021.For more information, see https://www.jobbnorge.no/en/available-jobs/job/195801/associate-professor-in-information-science?fbclid=IwAR3CQJ0IG6lcCDYVIIrxx0sTQ8IJELEvvmasgr0YQXo6J3MjhjpsG6af4YQ or contact Marija Slavkovik at marija.slavkovik at uib.no, or Thomas Agotnes at thomas.agotnes at uib.no.
PHD in AI&Logic, with focus on AI Ethics, Bergen (Norway)Deadline: Friday 8 January 2021
The Logic and AI group at the University of Bergen in Norway has a vacancy for a doctoral candidate.
The appointment is for four years with 25% of the total appointment time is a duty to be performed at the department, typically as a teaching assistant. The working language is English. The topic of the thesis is proposed by the candidate when applying. We are looking for (but are not limited to) project in machine ethics, autonomous systems, explainability, fairness, automated audit of accountability, or ethical impact of automated decision-making processes.
We are looking for applicants that hold a master's degree in information science, informatics, cognitive science, logic, or equivalent
Required is a documented background in at least one of the areas (not in order of relevance):
- machine learning
- logical programming
- formal argumentation
- deontic / normative reasoning
- decision theory
- formal verification
- moral philosophy
- differential privacy
A course the candidate has taken or a project the candidate has completed counts as documented background. Experience from scientific work is an advantage.For more information, see https://www.jobbnorge.no/en/available-jobs/job/195702/phd-position-in-information-science-ai?fbclid=IwAR3duFE9Oru8McMn6mPtBeTOOaDao_928C0IoQiE1EqkGIsz9CqFEB9wjPI or contact Marija Slavkovik at marija.slavkovik at uib.no, or Thomas Agotnes at thomas.agotnes at uib.no.
Tenure-track faculty position in computer science (theory included), Rochester NY (U.S.A.)Deadline: Friday 1 January 2021
The Computer Science Department at the University of Rochester seeks applicants for tenure-track faculty positions. Candidates must have (or be about to receive) a doctorate in computer science or a related discipline. We are particularly eager to hire in theory, security/privacy/cryptography, quantum computing, data management, natural language processing, and machine learning, but candidates in all areas of computer science and at any level of seniority are encouraged to apply: we are always on the lookout for unique opportunities and synergies.For more information, see http://www.cs.rochester.edu.
PhD student position and postdoctoral position in philosophy of machine learning, Tübingen (Germany)Deadline: Friday 18 December 2020
Dr. Konstantin Genin, leader of the independent research group "Epistemology and Ethics of Machine Learning" in the Cluster of Excellence -- "Machine Learning for Science" at the University of Tübingen advertises 1 Postdoc and 1-2 PhD positions. Students and researchers interested in the intersection of philosophical and methodological questions in statistics, machine learning, artificial intelligence and the medical and social sciences are encouraged to apply
Applications are due December 18th and decisions should be made by mid-January. Ideally, accepted candidates would join the research group March of 2021.
For details on the PhD and Postdoc positions, see:
(Updated) Two PhD Positions in Theoretical Political Science and Philosophy, Bamberg and Bayreuth (Germany)Deadline: Tuesday 15 December 2020
Two three-years PhD positions*(65%, 13 TV-L) in Theoretical Political Science and in Philosophy are available at the University of Bamberg and the University of Bayreuth.
The positions will be affiliated with the Chair of Theoretical Political Science (Prof. Dr. Johannes Marx) at the Otto-Friedrich-Universität Bamberg or the Chair of Philosophy I (Prof. Dr. Olivier Roy) at the University of Bayreuth, as part of the research project "Simulating Collective Agency" (SColA), funded by the Deutsche Forschungsgemeinschaft.
(New) Two research fellowships in programming principles, logic, and verification, London (England)Deadline: Friday 11 December 2020
There are two Research Fellow positions available at UCL's Programming Principles, Logic, and Verification group, to be associated with the UK EPSRC-funded IRIS project, Interface Reasoning for Interacting Systems. The positions are available for 12 months initially, with possible extension to 36 months. The closing date is 11 December.
The first position is a post in logic, to work in the areas of a) the semantics and proof theory of modal and substructural logics, b) program and systems verification, and c) modelling and reasoning about distributed and multi-agent systems. The post will involve collaboration with Didier Galmiche's group at Nancy. Details at https://www.jobs.ac.uk/job/CCK032/research-fellow-in-programming-principles-logic-and- verification
The second position is a post in systems security modelling, with expertise in these areas: a) experience and expertise in modelling or simulation, b) good technical understanding of systems and networks, and c) familiarity with computer security and organizational security policy. The post will involve collaboration with HP Labs and BT, and will be jointly supervised by Dr. Tristan Caulfield. Details at https://www.jobs.ac.uk/job/CCM470/research-fellow-in-systems-security-modellingFor more information, see https://www.jobs.ac.uk/job/CCM470/research-fellow-in-systems-security-modelling or contact d.pym at ucl.ac.uk, or t.caulfield at ucl.ac.uk.
(New) PhD student position in situated cognition, Bochum (Germany)Deadline: Wednesday 2 December 2020
The interdisciplinary Research Training Group "Situated Cognition", funded by the DFG and based at the Department of Philosophy II and the Faculty of Psychology at Ruhr-University Bochum (Speaker Prof. Dr. Albert Newen) as well as at the Institute of Cognitive Science, the Department of Philosophy and the Institute of Psychology at Osnabrück University (Speaker Prof. Dr. Achim Stephan) invites applications for 1 PhD position in Philosophy (salary scale TV-L E 13, 65%; including social benefits), within a three-year structured PhD program, starting on February 1st, 2021 or shortly afterwards.
Project Description: Non-Symbolic Representation in Situated Cognition. Describing Sensorimotor Representations via Embodied Similarity Spaces. Project Leader: Peter Brössel.
Candidates applying for this theoretical project are expected to have an excellent M.A., M.Sc. (or Staatsexamen degree) in Philosophy. They should have expertise in at least one of the following areas: Epistemology, Philosophy of Perception, Philosophy of Mind or Science, Philosophy of Language. Appreciated are experiences in formal epistemology.For more information, see https://situated-cognition.com/2020/11/16/call-for-phd-applications-deadline-2nd-december-2020/ or contact RTG-SituatedCognition at rub.de.
Post-Doc positions at Max Planck Institute for Demographic Research (MPIDR), Rostock, GermanyDeadline: Tuesday 1 December 2020
The Max Planck Institute for Demographic Research (MPIDR) is recruiting highly qualified Post-Docs/Research Scientists, at various levels of seniority, to join the Lab of Digital and Computational Demography.
Postdoctoral position in mathematial logic, Gent (Belgium)Deadline: Tuesday 24 November 2020
Submissions are welcome for one postdoctoral position in mathematical logic within the joint research project "Proof and Model Theory of Intuitionistic Temporal Logic".
Interested parties may send their application to David.FernandezDuque at UGent.be by **24 November 2020**, consisting of letter of motivation, full CV, name and e-mail address of two or three references, and PhD diploma (to be handed in before January 1st 2021).
PhD programme in Philosophy (Logic included) with fundingLocation: Edinburgh, ScotlandDeadline: Monday 23 November 2020
The Philosophy Department at the University of Edinburgh invites applications to our PhD programme for September 2021 entry. We welcome research proposals of outstanding quality in any area of philosophy.
Our department is known for excellence in research and consists of over 35 full-time faculty members and a lively community of postdocs and postgraduate students. We're ranked 6th in the UK and 20th in the world for philosophy (QS World University Rankings by subject 2020), focusing on a wide range of topics, with particular strengths in: Ethics & Political Philosophy, Mind & Cognition, Epistemology, Logic & Language, Philosophy of Science, and History of philosophy.For more information, see https://www.ed.ac.uk/ppls/philosophy/prospective/postgraduate/philosophy-phd-programme or contact Dr Jo E. Wolff (Postgraduate Research Director) at jo.wolff at ed.ac.uk.
(New) Postdoctoral researcher in AI and scientific manager of the Amsterdam ELLIS unit, Amsterdam (the Netherlands)
The Amsterdam ELLIS unit is seeking a postdoctoral scholar who is interested in doing excellent research in AI and in collaborating with people to build a top tier research unit. To increase diversity in the department, we especially encourage female candidates or candidates from other minority groups to apply.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/11/20-702-postdoctoral-researcher-in-ai-and-scientific-manager-of-the-amsterdam-ellis-unit-kopie.html?Z&cb or contact Raquel Fernández at raquel.fernandez at uva.nl.
PhD Position in Multiagent Systems, Utrecht University (NL)
Applications are invited for a PhD position 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 n.a.alechina at uu.nl.
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.