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.

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.

Are 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.

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.

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’.

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’.

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.

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.

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.

Foundations and Applications of Emergence (FAEME) has three open positions for three year postdoctoral fellowships.

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.

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).

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.

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.

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.

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.

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.

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.