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
Full professor in Theoretical Computer Science at the Institute for Logic, Language and ComputationDeadline: Tuesday 15 September 2020
We offer a position of full professor in Theoretical Computer Science at the Institute for Logic, Language and Computation (ILLC) 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, has a profound knowledge of the wider area of theoretical computer science, and will be expected to make connections with other research lines in the ILLC, in particular those in logic, artificial intelligence, computational linguistics and quantum computing.
Note that the Informatics Institute is currently also establishing a new chair in Theoretical Computer Science. Both chair holders are expected to strengthen links and further build a visible nucleus of Theoretical Computer science in Amsterdam.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2020/07/20-431-full-professor-in-theoretical-computer-science-at-the-institute-for-logic-language-and-computation.html or contact Prof. Sonja Smets at S.J.L.Smets at uva.nl.
Open positions, general
10-month fellowships in the social sciences and humanities, Paris, Lyon, Marseille, Montpellier (France)Deadline: Tuesday 15 September 2020
The French Institutes for Advanced Study Fellowship Programme offers 10-month fellowships in the four Institutes of Paris, Lyon, Montpellier and Marseille. It welcomes applications from high-level international scholars and scientists primarily in the fields of the social sciences and the humanities (SSH). For the 2021-2022 academic year, FIAS offers 31 fellowship positions: 17 in Paris, 5 in Lyon, 6 in Marseille and 3 in Montpellier.
The call is open to all disciplines in the SSH and all research fields. Research projects from other sciences that propose a transversal dialogue with SSH are also eligible. Some of the four IAS have scientific priorities they will focus on more specifically. FIAS awards fellowships to outstanding researchers of all career levels, from postdoctoral researchers to senior scientists.For more information, see https://fias-fp.eu/fellowships/call-for-applications.
Research Fellowship (4y) in Mathematical Sciences, Cambridge (England)Deadline: Friday 4 September 2020
The Governing Body of King's College invites applications for a Research Fellowship in the Mathematical Sciences and Engineering. Applications are invited from candidates with a strong record in any field of Mathematics or Engineering.
The Fellowship is intended to provide the successful candidate with the opportunity to pursue their own research programme while benefiting from the range of expertise in Cambridge, and King's College in particular. The project could be based entirely within the college, or could involve a base in one of the University departments. In addition to pursuing research, a Research Fellow is required to live in Cambridge or close by and to participate in College life and activity. Although these are research posts, Research Fellows are encouraged to take advantage of opportunities to undertake a small amount of University and/or College teaching.
Graduates of any university are eligible. Candidates will usually have completed their PhD but must not have undertaken more than 2-years of postdoctoral work by 1st October 2021.For more information, see https://www.kings.cam.ac.uk/research/research-fellowships or contact sally.thorp at kings.cam.ac.uk.
Eight fully funded PhD student positions in Research Methods in Science & Technology, Urbino (Italy)Deadline: Monday 31 August 2020
The University of Urbino is now accepting applications for the Doctoral Program: 'Research Methods in Science and Technology'. 8 fully funded positions and 2 non-funded positions are available. Notice that 1 position is reserved for students holding a foreign degree.
The Program fulfills the requirements for innovative international doctoral programs, and one of its subject areas is Formal Models, Data Analysis and Scientific Computing. Research projects in Logic and Philosophy of Science are welcome within this subject area.
Four PhD scholarships in Mind, Brain, & Reasoning, Milan (Italy)Deadline: Monday 14 September 2020
The Department of Philosophy, University of Milan announces 4 Scholarships for its new Doctoral Programme in Mind, Brain and Reasoning. Research Areas include: Logic for Practical Reasoning; Philosophical Logic; Computation; Probability; Logic for Artificial Intelligence.
PhD student position in interactive machine reasoning, Delft (The Netherlands)Deadline: Tuesday 1 September 2020
At TU Delft in collaboration with University of Twente we are looking for a PhD student on Interactive Machine Reasoning for Responsible Hybrid Intelligence.
Hybrid Intelligence is the combination of human and machine intelligence, expanding human intellect instead of replacing it. The project centers around the concept of an Electronic Partner (e-partner), an intelligent agent that can support its user in a variety of daily activities, for example changing habits. In previous research we have developed knowledge structures for representing desired habits and underlying personal values, and a conversational agent that elicits this information from the user. The goal of the current project is to develop machine reasoning techniques and conversational strategies that allow the e-partner to interpret and adapt this information at run-time in interaction with the user based on the context. In other words, the e-partner should be able to tune in to the needs of the user as it provides support, and assess whether its support (still) aligns with user needs. With this project we lay the foundations for the novel area of Interactive Machine Reasoning in which meaning-making happens in coaction between human and technology, allowing people to maintain their personal space and agency. With this we go beyond a view of AI that centers autonomous decision making, towards Hybrid Intelligence.
The position is based at TU Delft, The Netherlands, with the Interactive Intelligence section, faculty of Electrical Engineering, Mathematics and Computer Science, and is co-supervised with the Human-Media Interaction group at University of Twente.For more information, see https://www.tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details/?jobId=609 or contact Dr. Myrthe Tielman at m.l.tielman at tudelft.nl, or Dr. Birna van Riemsdijk at m.b.vanriemsdijk at utwente.nl.
Five PhD student positions in Logic, Philosophy of Logic or Philosophy of Mathematics, Pisa (Italy)Deadline: Thursday 27 August 2020
The PhD Program in Philosophy at the Scuola Normale Superiore of Pisa (SNS) still has 5 four-year fully funded positions available. Research projects in Logic, Philosophy of Logic and Philosophy of Mathematics are welcome.For more information, see https://www.sns.it/sites/default/files/allegati/2020/01/dd_bando_phd_2020-21_ita-eng_signed.pdf.
Tenure-track Young Professorship in Logic & AI, Hangzhou (China)Deadline: Monday 31 August 2020
The Department of Philosophy of Zhejiang University invites applications for one tenure track position, called 'ZJU100 Young Professor' to be located at Zijingang Campus, Zhejiang University.
Position Title/ Short Description Title: ZJU100 Young Professor (Tenure Track).
Program: New Hundred Talents
Program Fields: Logic and AI
Location: Zijingang Campus, Zhejiang University.For more information, see http://talent.zju.edu.cn/talentenlish/2019/0723/c32149a1322302/page.htm or contact Beishui Liao at baiseliao at zju.edu.cn.
Full professor in Theoretical Computer Science at the informatics instituteDeadline: Tuesday 15 September 2020
We offer a position of full professor in Theoretical Computer Science in the Informatics Institute of the University of Amsterdam. This new chair is embedded in the Informatics Institute of the University of Amsterdam and will lead the Theory of Computer Science group. The chair holder should develop a unique profile within the Informatics Institute while interacting with one of more research groups within the Institute. The Institute for Logic, Language, and Computation of the University of Amsterdam will also establish a new chair in Theoretical Computer science, and both chair holders should build links and create a visible nucleus of Theoretical Computer science in Amsterdam, also together with VU and CWI.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2020/07/20-430-full-professor-in-theoretical-computer-science-at-the-informatics-institute.html or contact Kris de Jong at k.j.dejong at uva.nl.
PhD student position in Knowledge Representation Formalisms, Amsterdam (The Netherlands)Deadline: Monday 31 August 2020
At Vrije Universiteit Amsterdam, we are looking for a PhD student to investigate Knowledge Representation Formalisms for Hybrid Intelligence (HI).
Hybrid Intelligence is the combination of human and machine intelligence, expanding human intellect instead of replacing it. Knowledge graphs (KGs) can play an important role in representing knowledge for different agents in Hybrid Intelligence settings. Unfortunately, the current KR formalisms are not sufficiently well-designed to work with complex, conflicting, dynamic and contextualised knowledge. What is needed to make KGs suitable formalisms for data and knowledge exchange in a HI network, is for individual agents to adapt their own knowledge in a KG (or at least the active part it is doing reasoning with) w.r.t. the interaction with one or more actors in its network.
You will study non-classical logical operators under (possibly changing) contexts, where the contexts are (semi)formal representations of the other agents' requirements, knowledge, (cultural) background, necessity, and other modalities of choice. Furthermore, you will design or adapt formalisms appropriate to the knowledge modeling challenges as well as protocols for agents to use the knowledge in HI interaction scenarios. Finally, you will apply and validate the solutions for a select number of application domains. The research project is based at the VU Amsterdam, and will be co-supervised by TU Delft and University of Twente researchers.For more information, see https://workingat.vu.nl/ad/phd-position-in-knowledge-representation-formalisms-for-hybrid-intelligence/82dhhm or contact Dr. Stefan Schlobach at k.s.schlobach at vu.nl, or Dr. Victor de Boer at v.de.boer at vu.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.
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.
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.
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.
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.
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.