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) Post-doc stay in Torun (Poland) - 3 or 6 monthsDeadline: Friday 2 October 2020
There is a possibility of a 3- or 6-month long stay at the Department
of Logic of Nicolaus Copernicus University in Torun (Poland). Eligible
are young post-doc researchers up to 3 years after receiving the
degree (5 years in exceptional cases) and working beyond Poland.For more information, see here or at https://www.umk.pl/idub/mobilnosci/post-dok_przyjazd-tlumaczenie_07.01.2020.pdf or contact Rafal Gruszczynski at gruszka at iumk.pl.
(New) PhD position on explainable AI in the legal domainDeadline: Monday 31 August 2020
The PhD position concerns the explanation of data-driven decisions with legal, ethical or social impact for end-users. It focuses on the development of argumentation theoretic techniques for the explanation of 'black-box' AI applications.
The position is part of the Hybrid Intelligence NWO Gravitation project. It is embedded in the Intelligent Systems Group of the Department of Information and Computing Sciences of the University of Utrecht , in collaboration with the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence of the University of Groningen.For more information, see https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-hybrid-intelligence-explaining-data-driven-decisions-with-legal-ethical-or-social or contact Davide Grossi at d.grossi at rug.nl.
(New) Two postdoctoral positions in large cardinals and the axiom of choice, Norwich (England)Deadline: Tuesday 21 July 2020
Applications are invited for two postdoctoral research positions to work with Dr Asaf Karagila at the University of East Anglia on the project "Understanding the axioms: the interactions of the Axiom of Choice with large cardinal axioms" funded by UKRI Future Leaders Fellowship MR/T021705/1. These full time posts are available from 15 September 2020 or as soon as possible thereafter. The positions are initially for a fixed term of 24 months initially but may be extended for upto 21 additional months.
The project aims to better understand the tools currently missing for consistency results related to large cardinals without the axiom of choice. Specifically, improving upon the basic tools for lifting elementary embeddings to symmetric extensions, and the iterations thereof. Successful candidates will have (or be closed to submitting) a PhD in a relevant area of mathematics, most likely set theory, although not necessarily with focus on results concerning large cardinals or the axiom of choice.For more information, see https://myview.uea.ac.uk/webrecruitment/pages/vacancy.jsf?latest=01007388 or contact Dr Asaf Karagila at a.karagila at uea.ac.uk.
(New) PhD student position in set theory with a focus on inner models and large cardinals, Muenster (Germany)Deadline: Saturday 1 August 2020
The Institute of Mathematical Logic and Foundational Research at the University of Münster, Germany, offers aPhD Research Position in Set Theory. The duration of the position is 3 years. The expected starting date is 1 November 2020. Currently, the regular working time for 75% employment is 29 hours and 52 minutes per week. The position carries no teaching duties.
The position is funded by the Deutsche Forschungsgemeinschaft (DFG) and is situated within the DFG Research Project “Long extenders, Varsovian models, Combinatorics”, led by Junior Professor Farmer Schlutzenberg. The successful applicant will collaborate on this project which is directed at various questions in set theory, with a focus on inner models and large cardinals. Applicants working in these and related areas are welcome.For more information, see https://www.uni-muenster.de/Rektorat/Stellen/ausschreibungen/st_20202906_sk2.html or contact schlutze at uni-muenster.de.
(New) PhD position in dependence logic at University of HelsinkiDeadline: Sunday 9 August 2020
The Department of Mathematics and Statistics at the University of Helsinki (Finland) invites applications for a four-year doctoral student position in a research project on “Dependence logic and its applications in no-go paradoxes in sciences” funded by Academy of Finland. This multidisciplinary project aims to study open problems in dependence logic (including the axiomatization problem, expressivity, etc.) and to investigate applications of dependence logic and team semantics in no-go paradoxes in social choice, quantum foundations and database theory.
The position will start as soon as possible. Applicants are expected to hold a Master’s degree in mathematics, computer science, philosophy or some other relevant subject by the time of the start date. An ideal candidate should have a strong background in mathematical logic, and a keen interest in interdisciplinary research.For more information, see https://sites.google.com/site/fanyanghp/phd-position or contact Dr. Fan Yang at fan.yang at helsinki.fi.
Postdoctoral position on quantitative & qualitative approximations of reasoning, Milan (Italy)Deadline: Thursday 3 September 2020
The Logic Group is thrilled to advertise a postdoc position (one year, renewable) on the project “Quantitative and qualitative approximations of reasoning”.The goal of the project is to extend Depth-Bounded Logics
– on the lines of the recent results obtained by the group on the
Depth-bounded approximation of probability and belief functions
– with qualitative aspects (modal, dynamic, and multiagent) for reasoning about knowledge, in particular under negative trust and trustworthiness
– and combining the two.
The ideal applicant will have (or have submitted at the time of applying) a strong PhD in Logic, either in computer science, mathematics or philosophy. Very good knowledge of either probability- or epistemic logics is mandatory. Good command of both is an advantage. The selected candidate will join a thriving research group based at the Department of Philosophy at the University of Milan, and will be working under the joint supervision of Marcello D’Agostino, Hykel Hosni and Giuseppe Primiero.For more information, see http://www.filosofia.unimi.it/logic/open-positions/ or contact unimi at postecert.it.
PhD student position & research engineer position on responsible AI, Umeå (Sweden)Deadline: Saturday 15 August 2020
There are two open positions on Responsible Artificial Intelligence at Umeå University: a PhD student (4 years fulltime) (see https://umu.varbi.com/en/what:job/jobID:337517) and a Research Engineer (12 months, fulltime) (see https://umu.varbi.com/en/what:job/jobID:341576). Both positions are fully covered by a grant from the Wallenberg Foundations. The PhD student will be affiliated with the WASP-HS graduate school.
The research group in Responsible AI is led by prof. dr. Virginia Dignum and was established to study the ethical and societal impact of AI, through the development of tools and methodologies design, monitor, and develop trustworthy AI systems and applications. Our research is not only about the development of intelligent systems, but also in understanding the effects of their deployment on our societies. We are working to ensure the ethical application of Artificial Intelligence (AI), both through public engagement and frequent interaction with policymakers, and by facilitating the engineering of Responsible AI. Our multidisciplinary research programme aims to help all relevant actors to have access to the means and tools to develop, deploy, operate, and govern systems, while taking any ethical, legal, and socio-economical implications into consideration.
PhD student position on professionalisation of science, Leuven (Belgium)Deadline: Friday 31 July 2020
We are looking for a PhD candidate to conduct research on a project recently funded by the Research Fund Flanders (FWO), titled 'The Professionalization of Science: Analysis and Normative Implications'.
In this project we aim at understanding what precisely professionalization and professionalism are, and to what extent they are appropriate for scientific research. While the topic of the project seems very specific, it in fact concerns science & values in the broadest sense, and is situated at the intersection between philosophy of science and applied ethics.
You will conduct PhD research under the supervision of Professors Kris Dierickx, and Hugh Desmond. You will be based at the Centre for Biomedical Ethics and Law at the KU Leuven, an interdisciplinary centre that performs research on ethical and societal issues.For more information, see https://www.kuleuven.be/personeel/jobsite/jobs/55689213 or contact Kris Dierickx at kris.dierickx at kuleuven.be, or Hugh Desmond at hugh.desmond at kuleuven.be.
Assistant Professor in Humanities and AI at Leiden UniversityDeadline: Tuesday 14 July 2020
This new position will focus on the interaction between mental grammar and processes such as language acquisition, production and perception, by investigating, developing and applying methods and tools of computational linguistics and AI, such as deep neural learning and machine learning. The goal of this research is to gain a deeper understanding of natural language processing and to improve language technology (e.g. machine translation incl. sequence-to-sequence translation) and speech technology (e.g. automatic speech recognition incl. predictions about the signal based on statistical probabilities).For more information, see https://www.universiteitleiden.nl/vacatures/2020/q2/20-257-7437-assistant-professor-in-humanities-and-ai or contact Niels Schiller at n.o.schiller at hum.leidenuniv.nl.
PhD student and Postdoctoral positions in databases and AI, Vienna (Austria)Deadline: Wednesday 15 July 2020
A PhD position and a PostDoc position are available at the Database and Artificial Intelligence Group at TU Wien, Austria (under the supervision of Dr. Mantas Šimkus).
We invite highly motivated applicants interested both in the theory and practice of
- Description Logics
- Answer Set Programming
- Knowledge Representation and Reasoning
- Reasoning about Actions and Change
- Database Theory
In particular, we are seeking to strengthen our research teams in two foundational research projects 'Ontology-mediated Queries for Graph Databases' and 'KtoAPP: Compiling Knowledge into Applications'.
Structural and Algorithmic Aspects of Preference-based Problems in Social Choice, Vienna University of TechnologyDeadline: Friday 31 July 2020
In Computational Social Choice (COMSOC), we explore the computational and algorithmic aspects of problems arising from social choice and decision making such as how to aggregate individual preferences or judgments to reach a consensus, how to fairly allocate a set of resources to some agents, how to assign schools or colleges to students based on their preferences, or how to recommend potential interesting products such as movies to a user based on her and others' past and current preferences.
The primary goal of this project is to develop new efficient algorithms for practically relevant COMSOC problems and to gain new insights into how to "deconstruct" the hardness of these problems. To achieve our goal, we will investigate the computational complexity of COMSOC problems through the lens of Parameterized Algorithmics (PA), which has become an important research technique for designing exact and efficient algorithms primarily for graph problems.For more information, see https://www.wwtf.at/programmes/vienna_research_groups/VRG18-012/index.php?lang=EN.
Joint UGent-TU Wien PhD Positions in LogicDeadline: Wednesday 15 July 2020
Submissions are welcome for up to two fully-funded PhD positions in mathematical logic within the joint FWO/FWF research project "Reflection Spectra: Predicative Mathematics and Beyond".
Candidates are expected to have a Master's degree in mathematics, computer science, or similar, with a strong background in mathematical logic. Familiarity with proof theory, modal logic (including topological semantics), recursion theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required.
Eighteen PhD student grants in Computer Science, Bolzano (Italy)Deadline: Monday 13 July 2020
18 four-year grants are offered by the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy for its PhD programme. Each grant amounts to 68,000 euro (i.e., 17,000 euro per year, net after taxes); for research visits abroad the grant increases up to 50%.
Some candidates will join the KRDB Research Centre for Knowledge and Data of the faculty, widely recognised as one of the internationally leading groups in Artificial Intelligence Knowledge Representation research, with a synergy between foundational and application-oriented research. Among the various available PhD topics. the KRDB Research Centre is looking for PhD students interested in: Logic-based languages for knowledge representation; Intelligent data access and integration; Semantic technologies; Conceptual and cognitive modelling; Data-aware process modelling, verification, and synthesis; Business process monitoring, mining, and conformance; Temporal aspects of data and knowledge; Extending database technologies; Visual and verbal paradigms for information exploration; Reasoning with uncertain and imprecise knowledge.For more information, see https://www.unibz.it/en/faculties/computer-science/phd-computer-science or contact artale at inf.unibz.it.
Research position in applied proof theory, Barcelona (Spain)Deadline: Wednesday 26 August 2020
We are looking for a full-time Mathematician or Computer Scientist researcher to participate in a 3,5 year project. In our applied proof theory group we are developing an industrial product with social impact value for the legal infrastructure of transport of people and goods by road.
Our software is developed using formal methods, with the goal of high reliability in mind. We are using Coq as our main tool. The successful applicant will be expected to have proven experience with Ocaml or similar, as wel as LaTeX.
We are an active and diverse team lead by Dr. Joost J. Joosten, which comprises several PhD and Master students with a background in Mathematics and Philosophy, among others. Our group's research involves, but is not limited to, proof theory (pure and applied), provability, interpretability and other modal logics, fragments of first and higher-order arithmetic, algebraic logic, formalized meta-mathematics, and ordinal analysis. We are based in the Philosophy Department of the University of Barcelona, located in the city center of Barcelona. Our PhD students are all enrolled in the doctorate program of mathematics and computer science. Most of us are also affiliated to the Institute of Mathematics of the University of Barcelona and to the Barcelona Graduate School of Mathematics.
PhD studentship in mathematics and computation (including logic)Location: Birmingham, England
We have funding for PhD studentships in mathematics and computation (including logic) in our Theoretical Computer Science group at University of Birmingham.
If you are interested, please approach an academic from the web page, with Cc: to Martin Escardo <m.escardo at cs.bham.ac.uk>, briefly explaining your research interests and academic qualifications. After you approach us we can give you further information and instructions.For more information, see https://www.cs.bham.ac.uk/research/groupings/theory/ or contact Martin Escardo at m.escardo at cs.bham.ac.uk.
Postdoctoral position (2y) in logic and informatics, Grenoble (France)
We propose a two-years postdoctoral position at Grenoble Informatics Laboratory, France. The main topics concern logic, knowledge representation, multiagent systems and computational economics (auctions).For more information, see http://recherche.noiraudes.net/resources/202004-LIG-PostDoc.pdf.
Tenure track research position on automation of formal reasoning, Prague (Czech Republic)Deadline: Friday 17 July 2020
The Institute of Computer Sciences of the Czech Academy of Sciences (ICS CAS), Prague, Czech Republic, invites applications for one tenure-track position in Computer Science. We especially seek applicants from fields that in one way or other contribute to the automation of formal reasoning, such as formal verification/model checking, computer assisted proofs, intelligent computer mathematics, automated deduction, verified numerical computation, and automated planning/control/synthesis.For more information, see http://www.cs.cas.cz/job-offer/Tenure-Track-Position-Computer-Science-1/en.
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.