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
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.
Tenure Track Assistant professor in Responsible Artificial IntelligenceDeadline: Sunday 1 November 2020
The field of Artificial Intelligence is blossoming, with many technical advances in natural language processing, music processing, automated reasoning and other fields, often based on big data and machine learning. Increasingly, these techniques are also finding their way to applications used by companies, institutions and citizens, and hence they are having a direct impact on society. With increased power and frequent usage comes extra responsibility: are technical advances sufficiently informed by real needs in society? Are they accompanied by safeguards regarding malicious use? Are they offering the transparency needed to inform stakeholders about decisions based on these systems?
We are looking for an ambitious researcher, deeply familiar with the technical details of current AI systems but also seriously committed to improving their responsible use, for instance by improving transparency and explainability and/or by addressing undesirable biases and irresponsible use. You will work together with the strong group of Artificial Intelligence researchers at the ILLC, and more broadly at the University of Amsterdam, including through the University’s Research Priority Area Human(e) AI.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/10/20-578-tenure-track-assistant-professor-in-responsible-artificial-intelligence.html or contact Jelle Zuidema at w.h.zuidema at uva.nl.
Postdoctoral researcher in Semantics: Linguistic Interpretation as AbductionDeadline: Saturday 24 October 2020
Are you a high potential young researcher with a PhD degree in Logic, Linguistics, Philosophy, Computational Linguistics, or a related discipline, and would you be interested to join the Logic and Language programme at our institute to investigate Linguistic Interpretation Interpretation as Abduction? If so, we invite you to apply for this position.
This postdoc position is part of the NWO Open Competition project 'A Sentence Uttered Makes a World Appear---Natural Language Interpretation as Abductive Model Generation'. The successful applicant will join the group of Reinhard Muskens. The aim of the project is to explore how semantic values are assigned to natural language expressions in a compositional way and how the resulting values, represented as logical expressions, are subsequently enriched by means of abductive reasoning. The latter is studied in a tableaux setting.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/09/20-567-postdoctoral-researcher-in-semantics-linguistic-interpretation-as-abduction.html or contact Reinhard Muskens at r.a.muskens at gmail.com.
Open positions, general
(New) 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.
(New) 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.
Research position (3 years) on Coalgebraic Foundations of Quantitative Verification (COVER), Glasgow (UK)Deadline: Sunday 8 November 2020
We are recruiting a Research Associate at the University of Strathclyde, Glasgow. The broad objective is to develop a new framework for quantitative verification involving, e.g., costs or rewards, that is grounded in a coalgebraic modelling of systems.
The focus of the project will be on (i) developing verification algorithms for quantitative coalgebraic logics, (ii) generalising existing abstraction and refinement algorithms to a coalgebraic and, ultimately, quantitative setting and (iii) implement the obtained algorithms as extensions to widely used probabilistic model-checking tools such as PRISM. Therefore, the ideal candidate will possess both a strong theoretical background and a good level of programming experience. This is a 3-year fixed-term position.
COVER is a joint project between the University of Southampton and the University of Strathclyde. The part of project at Strathclyde is led by Dr Clemens Kupke from the Mathematically Structured Programming (MSP) Group, the part in Southampton by Dr Corina Cîrstea from the Agents, Interaction and Complexity Research Group. A similar researcher vacancy exists in Southampton.
PhD student position in legal knowledge representation & reasoning, Luxembourg (Luxembourg)Deadline: Sunday 1 November 2020
The Individual and Collective Reasoning Group (ICR, Department of Computer Science, University of Luxembourg), led by Prof. Leon van der Torre, is looking for a PhD student (doctoral candidate) in Legal Knowledge Representation and Reasoning. In the context of the Doctoral Training Unit on DigitaLisation, Law, And Innovation (DTU DILLAN) we are looking for someone with a special interest or background in one or several of the following areas:
- Knowledge representation and reasoning, with applications to law - Applied formal argumentation
- Explainable AI for trustworthy systems
- Integration of non-symbolic and symbolic techniques
- Experimental studies on the explanation of legal reasoning
Starting date: January 2021(flexible). Duration: 3 years, extendable by 1 year. Doctoral student status at the University of Luxembourg. Ref: RCREQ0004365.
Two PhD student positions & one postdoctoral position on formal methods, Leuven (Belgium)Deadline: Friday 30 October 2020
Safety is a crucial concern for autonomous systems like robots, cars, drones, off-road vehicles, etc. While a myriad of studies in autonomous systems today focus on perception and control, the new project called 'SAFETEE' project aims for a vertical, in-depth study of a full-stack software platform for decision making.
To strengthen our project team, we are looking for new colleagues - two PhD researchers and one postdoctoral researcher:
1. PhD position on requirements engineering for safety in autonomous systems
2. PhD position on formal specification and verification of safe behaviour decision making of autonomous agents
3. Postdoc position on formal specification and verification of safety in autonomous systems (incl. on requirements and decision making).
All are for 4 years full-time positions (with intermediate evaluation). The positions start from January 1, 2021 (open for negotiation).For more information, see https://www.kuleuven.be/personeel/jobsite/jobs/55849954 or contact Prof. dr. Tom Holvoet at tom.holvoet at kuleuven.be.
Research Assistantships & Associateships in Uncertainty & Randomness in Algorithms, Verification, & Logic, Aachen, GermanyDeadline: Friday 30 October 2020
The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. Various positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL founded by Deutsche Forschungsgemeinschaft (DFG). The key emphasis of an RTG is on the qualification of doctoral researchers with a focused research program and a structured training strategy.
The RTG UnRAVeL ("Uncertainty and Randomness in Algorithms, Verification and Logic") aims to significantly advance probabilistic modelling and analysis for uncertainty by developing new theories, algorithms, and tool-supported verification techniques, and to apply them to core problems from security (e.g., probabilistic protocols), planning (robotics and railway engineering), and safety and performance analysis (railway systems). To tackle these research challenges, theoretical computer scientists from computer-aided verification, automata, logic and games, algorithms and complexity, together with experts from management science (robust optimization), applied computer science (robotics and security), and railway engineering intensively cooperate within the RTG UnRAVeL.For more information, see https://www.unravel.rwth-aachen.de/cms/UnRAVeL/Das-Graduiertenkolleg/~givjb/Stellenangebote/?lidx=1 or contact Prof. Joost-Pieter Katoen at katoen at cs.rwth-aachen.de.
PhD/Postdoc Positions in Algorithmic Game Theory and Computational Social Choice, Aarhus University (Denmark)
Applications are invited for a 2-year postdoc position and two PhD positions in the areas of Algorithmic Game Theory and Computational Social Choice, to work in the group of Prof. Ioannis Caragiannis at the Department of Computer Science at Aarhus University. Application deadlines: October 9th (postdoc) and November 1st (PhDs).For more information, see https://tildeweb.au.dk/au655526/.
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.
PhD position in mathematical logic, Barcelona (Spain)Deadline: Saturday 7 November 2020
We offer one four-year fully-funded PhD position in logic that includes travel funds. The position is related to the research project "the geometry of non-classical logics" that explores generalizations of Esakia duality for Heyting algebras, based on the methods of algebraic logic and universal algebra. Familiarity with intuitionistic and modal logic as well as with basic universal algebra is desirable. Successful candidates are expected to enrol into the PhD program in logic of the University of Barcelona. Supervisors: Tommaso Moraschini, Ramon Jansana, Joan Gispert.
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.