Are you working at the forefront of mathematical logic and are you passionate about research and teaching in this field? Are you looking forward to take the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation? The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to hire a new faculty member in this area, at the assistant professor level. At the ILLC we strive for a better gender balance amongst our staff. We therefore strongly encourage women to apply for this position. While we will consider applications from individuals working in any area within mathematical logic, with the aim of strengthening our profile in the traditional areas of mathematical logic we have a strong preference for a logician working in model theory or set theory.

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

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization. The PhD students will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom, which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge. These positions are available for period of 3-5 years, depending on the current education level of the applicant. All our PhD positions are fully funded, employed positions (including travel money) that come with an internationally competitive salary. The starting date is flexible, but will be in October 2024 or thereafter.

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 creates a very special environment, where we do not only conduct in-depth research on different theoretical and applied topics, but where different lines of research cross-fertilise each other and unexpected and exciting synergies often arise. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While the focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

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.

We are seeking a PhD candidate to work in proof theory on the problem of proof equivalence and its applications. Emphasis will be given to the study of proof systems allowing canonical representations of proofs (e.g., Hughes' combinatorial proofs and Girard's proof nets) and connection with games, both in the sense of dialogical games (Lorenz and Lorenzen) and game semantics (Abramsky, Highland and Ong). According to the interest of the candidate, applications to interoperability and usability of automated theorem prover and proof assistant, or applications to the theory of programming languages may be investigated.

Applicants interested in the study of proof theory are encouraged to get in touch with Dr. Matteo Acclavio for additional information and informal inquiries.

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.

We are seeking a motivated candidate to join our research team in MediaFutures, at the University of Bergen, Norway. The primary task of this position will be to develop novel techniques for generating news articles. This involves creating resources that adapt lexical, grammatical, and stylistic choices based on various parameters, including user profiles, cognitive accessibility, and journalistic formats. We are also interested in exploring how news content can be versioned and adapted dynamically. This includes tailoring news articles to different user preferences and user segments, ensuring readability, and optimizing content delivery across various platforms. 

We expect that the candidate will explore how large language models can be used for news generation while maintaining ethical and responsible practices. The position also offers the opportunity to collaborate with industry partners and gather domain-specific datasets from leading Norwegian media houses. This real-world collaboration will enhance the relevance and impact of the produced research. The PhD candidate will work at MediaFutures in Work Package 5 and will cooperate with researchers and partners in the work package, including the Language Technology Group at the University of Oslo, the National Library of Norway, Schibsted, Amedia, and TV 2. In addition to relevant researchers and partners in other work packages.

This is an exciting opportunity for a Lecturer or Senior Lecturer in Algorithms at the University of Sheffield. Working in the Department of Computer Science, you will join our Foundations of Computation (FOX) Group. Its research topics range from the theoretical mathematical foundations that underpin computer science to their applications in real world contexts.

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.

Are you an aspiring researcher, fascinated by theoretical computer science? And would you like to conduct research at the intersection of algebraic and logical methods in computer science? Then start your academic career off right as a PhD candidate at Radboud University.