Are you passionate about machine learning, natural language processing, or computer vision? We are seeking a postdoctoral researcher to join the research group led by Ivan Titov (http://ivan-titov.org/), part of the natural language processing group of the Institute for Logic, Language and Computation (ILLC).

Do you want to become part of a dynamic community that is at the forefront of Artificial Intelligence, Digital Humanities, and Cultural Heritage?

Our experts from the Institute for Logic, Language, and Computation (ILLC) and the Amsterdam School for Heritage, Memory, and Material Culture (AHM) are looking for four talented and ambitious PhD candidates. Your research will be part of the Natural Language Processing and Digital Humanities unit of the ILLC (Projects 1-3) or the Digital Heritage research group of the AHM (Project 4).

Are you looking for a PhD position in a dynamic setting? Do you want to execute philosophy of science research informed by and engaging scientific practices? The Institute for Logic, Language and Computation (ILLC) (https://www.illc.uva.nl/) currently has a vacant PhD position for a talented student as part of the project Benchmarking scientific explanation in psychological practice, led by principal investigator Dr. Dingmar van Eck. The ILLC is one of the five Research Schools within the Amsterdam Institute for Humanities Research.

A postdoctoral research position in theoretical computer science is available at King's College London. The successful candidate will be hosted by Hubie Chen and will be expected to work on topics related to the themes of complexity, database theory, structural decomposition methods, and logic. Research interest and experience in the following areas will be valued: logic in computer science, database theory, finite model theory, structural deco mposition methods, term rewriting, and parameterized complexity theory.

Key dates: the application deadline is June 6, 2024; it is hoped that the successful applicant will start in or around October 2024, but there is some flexibility concerning the start date. If the position is started in October 2024, it can be held for 1.5+ years. The exact starting date and duration can be set in a way that takes into account the successful candidate's needs and schedule.

The Technical University of Munich (TUM) invites applications for the position of Tenure Track Assistant Professor in Logic, Automata, and Game Theory in Computer Science, to begin as soon as possible. The position is a W2 fixed-term (6 year) tenure-track professorship with the possibility for promotion to a tenured W3 position.

The responsibilities include research and teaching as well as the promotion of early-career scientists. We seek to appoint an expert in the research area of Logic, Automata, and Games with applications to Formal Verification, Automatic Synthesis, Automated Reasoning or Learning. Teaching responsibilities include Basic courses in the Professional Profile 'Informatics', in particular Theoretical Computer Science, at Bachelor’s and Master’s level.

The Institute of Computer Science of the Czech Academy of Sciences (ICS CAS) offers a postdoctoral fellowship within the Department of Theoretical Computer Science. The duration of the position is 12 months with a possibility of extension, based on performance and activity. The fellowship is available from 1st July 2024 but a later starting date is negotiable.

Logicians are especially encouraged to apply.

Örebro University is offering a Ph.D. position to a highly-motivated student who wants to investigate how AI systems can proactively acquire new knowledge and new abilities. The position is fully funded for a period of four years.The student will develop theories and methods to allow the AI system to decide which knowledge or abilities it should learn, when, and how. As part of this problem, the AI system must be able to perform anticipatory reasoning, and to reason about its own knowledge and abilities as well as the knowledge and abilities of others. Note that this project investigates the high-level question of how an AI system can autonomously decide to initiate a learning process, but it does not aim at studying specific mechanisms for machine learning.

Applicants should have demonstrated knowledge in AI, specifically in: knowledge representation, planning and decision-making, or multi-agent systems. Experience with robotic systems, human-machine interaction, machine learning or neuro-symbolic approaches are desirable. The ability to work in multi-disciplinary projects and good programming skills are a plus. Expected employment start date is September 2024.

A 12-month post-doctoral position in topology, algebra, categories and logic is available at the CNRS, located at the research institute IRIF of CNRS and Université Paris Cité.  Expected start date: 1 September 2024 (negotiable). The position is financed by the ANR (French National Research Agency) project Topology for Types and Terms, coordinated by Sam van Gool. Any candidate with a PhD in mathematics or computer science and a scientific interest in the project's topics is encouraged to apply.

The Department of Philosophy and Education at the University of Turin (Italy) invites applications for a Postdoctoral Fellowship (AOS: Logic, Epistemology, Philosophy of Science), funded by the PRIN PNRR project “Controlling and utilizing uncertainty in the health sciences”, coordinated by Alexander Gebharter (Ancona) and Lorenzo Rossi (Turin). 

The project focuses on the application of formal tools (including modal logics, Bayesian epistemology, decision theory, and more) to the analysis of uncertainty in scientific results and decision making, especially in the health sciences. The scope of the project, however, is rather broad, and we welcome candidates with a wide variety of research backgrounds and areas of expertise. The postdoctoral fellowship will last for 16 months.