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
Assistent Bedrijfsvoerder ILLCDeadline: Thursday 15 September 2022
Ben jij een organisatorisch talent, een echte multitasker die tegelijkertijd het overzicht bewaart? Heb je een ondersteunende instelling en vind je het leuk om binnen de dynamiek van een interdisciplinair onderzoeksinstituut te werken? En trekt werken binnen een complexe organisatie je aan?
Het Institute for Logic, Language and Computation is op zoek naar een assistent bedrijfsvoerder.For more information, see https://vacatures.uva.nl/UvA/job/Assistent-Bedrijfsvoerder/748850902/ or contact Peter van Ormondt at p.vanormondt at uva.nl.
Postdoctoral researcher Information quality and argument-checkingDeadline: Thursday 1 September 2022
Are you interested in implementing computational methods in argumentation theory? Do you have experience with working with formal approaches to the study of argumentation theory?
The Institute for Logic, Language, and Computation (ILLC) currently has a vacancy for a postdoctoral research position as part of the broader field Humane AI. Within this field the focus is on data and platforms for social, cultural and economic innovation. ILLC is one of the five Research Schools within the Amsterdam Institute for Humanities Research.For more information, see here or at https://vacatures.uva.nl/UvA/job/Postdoctoral-researcher-Information-quality-and-argument-checking/750750302/ or contact Federica Russo at f.russo at uva.nl.
Postdoctoral Researcher in Computational Dialogue ModelingDeadline: Thursday 1 September 2022Are you interested in modeling how communication shapes language learning? Do you have experience working with dialogue, multi-agent communication, or visually grounded language? If you are excited about doing cutting-edge research on this kind of topics in an interdisciplinary environment, with a team of friendly and enthusiastic colleagues, then you may want to join us.For more information, see here or at https://vacatures.uva.nl/UvA/job/Postdoctoral-Researcher-in-Computational-Dialogue-Modeling/751619302/ or contact Raquel Fernández at raquel.fernandez at uva.nl.
PhD position in machine learning for uncertainty-aware and explainable models of natural languageDeadline: Sunday 21 August 2022
The Probabilistic Language Learning group (Probabll) at the Institute for Logic, Language and Computation of the University of Amsterdam invites application for a fully-funded, four-year PhD position in Machine Learning for Natural Language Processing (NLP).
Are you eager to work on context-aware, uncertainty-aware generative models of language, in order to develop concrete, high-level NLP technologies like machine translation, summarisation, dialogue, for interactive assistants? This position might be the one for you.For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-position-in-machine-learning-for-uncertainty-aware-and-explainable-models-of-natural-language/751458902/ or contact Dr. Wilker Aziz at w.aziz at uva.nl.
PhD in Quantum-Safe CryptographyDeadline: Monday 15 August 2022
Do you enjoy working in an interdisciplinary research setting on intellectually challenging and societally relevant questions? The Informatics Institute is looking for an ambitious PhD candidate. Your research is part of the NWO-funded research project ‘Quantum Impact on Societal Security’.For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-in-Quantum-Safe-Cryptography/748964502/ or contact Prof. Crhistian Schaffner at c.schaffner at uva.nl.
PhD in Philosophy and Ethics of Quantum-Safe TechnologyDeadline: Monday 15 August 2022
Do you enjoy working in an interdisciplinary research setting on intellectually challenging and societally relevant questions? The Institute for Logic, Language and Computation is looking for an ambitious PhD candidate. Your research is part of the NWO-funded research project ‘Quantum Impact on Societal Security’.For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-in-Philosophy-and-Ethics-of-Quantum-Safe-Technology/748954802/ or contact Dr. Sebastian De Haro at s.deharo at uva.nl.
Postdoctoral Researcher in the Regulation of Quantum-Safe TechnologyDeadline: Monday 15 August 2022
Do you have a PhD and are you interested in researching the law and regulation of cybersecurity, and in combining this with insights from ethics and economics? If you are excited about doing this kind of research in an interdisciplinary environment, with a team of friendly and enthusiastic colleagues, and with partners from the financial and governmental sectors, then you may want to join us.For more information, see here or at https://vacatures.uva.nl/UvA/job/Postdoctoral-Researcher-in-the-Regulation-of-Quantum-Safe-Technology/748961102/ or contact Dr. Sebastian De Haro at s.deharo at uva.nl.
Open positions, general
Postdoctoral position in ethics & epistemology of risk, Karlsruhe (Germany)Deadline: Wednesday 30 November 2022
At the Karlsruhe Institute of Technology (Karlsruhe, Germany) we are recruiting a postdoctoral researcher in Ethics & Epistemology of Risk with a focus on energy transitions. We are looking for a candidate with willingness to work in inter- and transdisciplinary collaborations. The position is initially limited to three years with option to extend by another three years.For more information, see https://www.pse.kit.edu/karriere/joboffer.php?id=20462&new=true&language=en.
PhD position in Knowledge Representation and Reasoning / Artificial Intelligence, TU GrazDeadline: Friday 30 September 2022
The recently created Knowledge Representation and Reasoning (KRR) group at the Institute of Software Technology, Graz University of Technology, offers a funded PhD student position within knowledge representation and reasoning, and with a particular focus in the field of Computational Argumentation in Artificial Intelligence.For more information, see https://www.tugraz.at/institute/ist/research/group-wallner/jobs/ or contact Johannes P. Wallner at wallner at ist.tugraz.at.
Postdoctoral Fellowships Grants in the Foundations and Applications of Emergence, Amsterdam (the Netherlands)Deadline: Friday 30 September 2022
Foundations and Applications of Emergence (FAEME) has three open positions for three year postdoctoral fellowships.For more information, see here or at https://vacatures.uva.nl/UvA/job/Postdoctoral-Fellowships-Grants-in-the-Foundations-and-Applications-of-Emergence/748522702/ or contact Dr. Jay Armas at info at d-iep.org.
(New) PhD positions in TCS and/or combinatorial optimization in LundDeadline: Thursday 15 September 2022
The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.
The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Øresund Bridge. The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.
Our PhD positions are four-year full-time employed positions, but they usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting date is negotiable but should ideally be around the turn of the year 2022-2023 or earlier. All positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary.For more information, see http://www.jakobnordstrom.se/openings/PhD-Lund-220915.html or contact Jakob Nordstrom at jakob.nordstrom at cs.lth.se.
Postdoctoral position on nested data, Oxford (England)Deadline: Wednesday 14 September 2022
Under the supervision of Professor Michael Benedikt, you will have responsibility for carrying out impactful research on databases and computational logic.
The ideal fit would be for a project with Milos Nikolic at Edinburgh on nested data. This part of the project relates to interpolation/Beth definability, including ongoing work with Pierre Pradic at Swansea and Christoph Wernhard at Dresden. Background in proof theory or model theory (not necessarily both) would be necessary. On the applied side, the project relates to the Trance system. Milos Nikolic also has a PDRA position on the grant; for someone who wants to work more on the system side, we could discuss whether Oxford or Edinburgh is the best fit.
The PDRA position could also fit a researcher with a background relevant to other topics under investigation at Oxford, particularly neuro-symbolic reasoning, embedded finite model theory, or decidable fragments of first-order logics. The projected start date for the post is Sept 22 (flexible).
Tenure-track professorship in mathematical logic, Vienna (Austria)Deadline: Tuesday 13 September 2022
The Faculty of Mathematics of the University of Vienna advertises a Tenure-Track Professorship for the field of Mathematical Logic. We are looking for an outstanding early career scientist working in mathematical logic.For more information, see https://univis.univie.ac.at/ausschreibungstellensuche/flow/bew_ausschreibung-flow?tid=91727.28&_language=en.
Postdoctoral position in Logic, Uncertainty, Computation & Information, Milan (Italy)Deadline: Friday 9 September 2022
1 Year (renewable) post-doc position in Logic within BRIO Project to work with the Logic, Uncertainty, Computation and Information (LUCI) Group, Department of Philosophy, University of Milan. This project aims to develop logics for the verification of properties of interest in the development and use of machine learning systems in Artificial Intelligence. In particular, the aim is to develop methods for demonstrating or verifying models that simulate the probabilistic structures underlying supervised, unsupervised and/or reinforcement learning methods and to check for biases and assess their risks.
The ideal candidate has obtained a PhD in Logic or related field (Philosophy/AI/CS/Mathematics), with knowledge of least two of the following disciplines: -proof theory and automatic theorem proving -temporal logics and model checking -formal theories of computational trust -formal models of bias and risk in AI. In addition, the ideal candidate has a great aptitude for teamwork, with good organisational skills.
(New) PhD in adaptive multimodal conversational agentsDeadline: Tuesday 6 September 2022
The IECS Doctoral School, at the University of Trento, has several Ph.D. openings. One of the projects to apply for is the project on Adaptive Multimodal conversational agents that will be run in collaboration with Amazon Alexa (in Berlin). I am looking for Ph.D. candidates with a strong background in Computer Science, in particular in Machine Learning, ideally with some expertise in Natural Language Processing/Natural Language Generation.For more information, see https://iecs.unitn.it/education/admission/call-for-application or contact Raffaella Bernardi at raffaella.bernardi at unitn.it.
Assistant Professor for Logic in AI, VU Amsterdam (The Netherlands)Deadline: Sunday 28 August 2022
The Knowledge in Artificial Intelligence group (KAI) of the Computer Science department at the VU seeks a new colleague who will contribute to our research on Logic in AI.
The mission of the KAI group is to gain a better understanding of the representation, acquisition, extraction and management of explicitly modelled, mostly symbolic, knowledge and to use such knowledge in artificial intelligent agents. We want to strengthen our group with a researcher with enthusiasm for, and a track record in, (computational) Logic. The successful applicant will receive a career track appointment (1.5 years) with a view to a permanent position after a positive evaluation.For more information, see https://workingat.vu.nl/ad/assistant-professor-logic-in-artificial-intelligence/kufcd6.
Postdoctoral position in Epistemology and/or Philosophy of Maths, Linköping (Sweden)Deadline: Monday 15 August 2022
We are hiring a postdoc (2+1 years) in Epistemology and/or Philosophy of Mathematics at Linköping University! The candidate will work in collaboration with Dr. Silvia De Toffoli on her project “Humanizing Mathematical Knowledge: Fallibility, Technology, and Know How” funded by a Wallenberg Academy Fellowship. The candidate should strengthen the epistemological component of the project.
Examples of relevant epistemological themes are the epistemology of disagreement, issues relating to higher-order evidence, the a priori, the nature of knowledge-how, and topics in social epistemology. Examples of relevant topics in the philosophy of mathematical practice are diagrammatic reasoning, mathematical rigor, the social dimension of mathematics, and the mechanization of mathematics.
Your doctoral degree should be no older than three years.For more information, see https://liu.se/en/work-at-liu/vacancies?rmpage=job&rmjob=19617&rmlang=UK or contact Silvia De Toffoli at silvia.detoffoli at gmail.com.
Student internship in neuro-symbolic methods, Cambridge (England)
We are seeking a PhD student with background in either neuro-symbolic methods or deep learning methods for an internship position in neuro-symbolic AI. The position will be under the supervision of Cristina Cornelio and Timothy Hospedales at the Samsung AI Research Center (SAIC) in Cambridge, UK. Duration of Internship: 6 months.
Requirements: - Python programming skills (including ML libraries e.g. PyTorch) - Strong analytical and problem-solving skills - Experience with AI/machine learning techniques - [preferred] Experience with neuro-symbolic and/or reasoning methods. If you are interested in this position and wish to apply, please send a recent curriculum vitae by email.For more information, contact c.cornelio at samsung.com.