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.

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.

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

The Emmy Noether junior research group "From Bias to Knowledge: The Epistemology of Machine Learning," led by Dr. Tom Sterkenburg, does work in the philosophical foundations of machine learning. The group's main aim is to improve our understanding of inductive bias, by building bridges between the philosophy of science and the mathematical theory of machine learning. The group is embedded within the Munich Center for Mathematical Philosophy (MCMP) at LMU Munich.

We are looking for a PhD candidate with an excellent master's degree in philosophy, logic, computer science, or related areas. You have a background and strong interest in the philosophy of artificial intelligence and/or philosophy of science, and ideally affinity with the mathematics and epistemology of machine learning. The deadline for applications is 1 May 2024, and the intended starting date is 1 October 2024.

A funded PhD position is available at Utrecht University as part of a research project on the Logic and Philosophy of Informational Content. The successful candidate will complete their PhD thesis in Utrecht on a topic that is closely connected to the project themes. The position will be supervised by Colin Caret and Michael De.

The position is expected to start on 1 October 2024.
The application deadline is 1 May 2024.
The applicant must have a (research) Master’s degree with a strong background in philosophy and logic, especially the fundamentals of modal logic. A complete application includes a cv, cover letter, contact information for referees, and a writing sample (max 10.000 words).

The University of Birmingham has a world leading group in theoretical computer science, covering proof theory, mathematical foundations, type theory, category theory and complexity theory. The group has been steadily growing and now includes over 40 members (including permanents, postdocs, phd students).

Candidates should have a background related to the themes of the group. Expertise in some/any of the following areas would be particularly helpful: Proof Theory, Type Theory and Proof Assistants (e.g. Coq, Agda, Lean), Mathematical Logic, and/or Automata Theory.

The Department of Linguistics at New York University invites applications for a Visiting Assistant Professor (non-tenure track) in the area of semantics. This is a one-year teaching position with a course load of 4 courses per year at the graduate and the undergraduate level (2 courses each). The appointment will begin on September 1, 2024, subject to budgetary and administrative approval.

Pascal Bercher (Australian National University) is seeking a qualified PhD candidate to commence a project in non-hierarchical (classical) and hierarchical planning starting as soon as possible (early 2024 preferred).