We are looking for a specialist in an area of model-based AI such as, for example, SAT solving, constraint programming, planning and scheduling, answer set programming, description logics, ontology engineering, or computer-aided verification. We hope that you will be able to connect with the long and proud research tradition in logic at the ILLC, while also reaching out to the broader AI research community in Amsterdam.

Are you looking for a postdoctoral position where you can combine insights from music cognition with psychometrics and cognitive science? If you are excited about doing this kind of research in an interdisciplinary environment, with a team of smart and friendly colleagues, then you may want to join us.

Are you looking for a PhD position where you can combine insights from music cognition, cognitive behavioural ecology, and cognitive science? If you are excited about doing this kind of research in an interdisciplinary environment, with a team of smart and friendly colleagues, then you may want to join us.

We are advertising an approximately two-year position for a postdoctoral researcher based in London on the IRIS project (interfacereasoning.com) at Queen Mary.

IRIS is an EPSRC programme grant led by UCL and with academic partners Imperial and LSE as well as Queen Mary, and whose industrial partners are Amazon AWS, BT, Facebook, GridPP, HP Labs, and Methods Group.

This position is at the theoretical end of the project. If appointed your role on the project would be to work on the logical and mathematical framework of the techniques being used. The job would suit someone well-versed in logic and possibly category theory.

The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme "LogiCS@TUWien - Logics for Computer Science", co-funded by the European Commission, will offer 20 full-time PhD positions. The program is hosted by TU Wien, one of the most successful technical universities in Europe and the largest one in Austria. The doctoral positions are open to international high-potential early-stage researchers, working on Logical Methods in Computer Science and their applications, including: Artificial Intelligence, Databases, Verification, Algorithms, Security, and Cyber-Physical Systems.

The programme provides a 4-year long doctoral training for international PhD candidates within an English-language curriculum. LogiCS@TUWien will run for 60 months and foresees the recruitment of 20 PhD candidates. The PhD candidates will be supervised by Ezio Bartocci, Pavol Cerny. Agata Ciabattoni. Thomas Eiter, Robert Ganian, Laura Kovács, Matteo Maffei, Magdalena Ortiz, Stefan Szeider, Georg Weissenbacher, Stefan Woltran and Florian Zuleger.

We invite excellent PhD candidates to join us at the Fundamental Computing group, Bernoulli Institute for Maths, CS and AI, University of Groningen.

Three fully-funded 4-year PhD positions in logic, proof theory, and coalgebra are available supervised by Revantha Ramanayake and/or Helle Hvid Hansen.

Symbolic algorithms are algorithms where the input data is represented implicitly. Such algorithms are particularly relevant in contexts where the data to be processed is too large to be specified in an explicit form. The Algorithms Group at the University of Bergen (Norway) has currently two open positions in the field of symbolic algorithms. These positions are financed by the project "Symbolic Algorithms: A Parameterized Approach", a 12 Million NOK research project funded by the Research Council of Norway under the Ground Breaking Research framework.

Postdoc Position - 3-year position with an initial salary of 535,500 NOK per year (approx 52,500 EUR per year) before taxes. Ph.D. Position - 3-year position, with the possibility of a fourth year, if teaching is involved. Initial salary: 491,200 NOK per year (approx 48,000 EUR per year) before taxes. Applicants for the Ph.D. student position should have a master's degree (or obtain a master's degree before 31/01/2022) and a strong background in a related subfield of theoretical computer science. Applicants for the Postdoc position should have in addition, a Ph.D. degree (or obtain a Ph.D. degree before 31/01/2022) and a strong publication record in some related subfield of theoretical computer science.

Dr. Rafał Gruszczyńskihas a job offer for a young post-doc (up to 7 years after Ph.D.) within the scientific project "Logico-philosophical foundations of geometry and topology" at NCU Toruń, Poland. The position is for 36 months, starting on the 1st January 2022. Good conditions, full support for conferences and research stays.

The Global Priorities Institute <https://globalprioritiesinstitute.org/> (GPI) at the University of Oxford - part of the Faculty of Philosophy - is currently advertising four-year postdoc positions (Postdoctoral Fellowships and Senior Research Fellowships) in Philosophy.

The central focus of GPI is what we call 'global priorities research', which centres on the question 'What should we do with a given unit of resources if our aim is to do the most good?' We are particularly interested in hiring specialists in moral philosophy and/or decision theory. For current graduate students, postdocs at GPI are a great way to launch an academic career. Team-based and individual research on global priorities topics is combined with substantial freedom to pursue one's own unrelated projects, there is plenty of funding for infrastructure and travel, and the Institute takes support for career development very seriously. GPI is as yet too young to have an established placement record, but we confidently expect GPI postdocs to go on to tenure-track positions in the very best research universities.

We are looking for a PhD student in the philosophy of mathematical practice. The position is devoted to philosophical and/or historical analyses of the practice of mathematics. Projects that focus on topics related to the contemporary mathematical practice are especially encouraged. Projects within the topics of visual thinking in mathematics, applications of mathematics, and mathematical structuralism will be preferred. We ask that candidates submit a project description (three pages) together with the formal application.

We look for candidates that hold a Master's degree and have a strong background in mathematics. Some experience in the history or philosophy (of mathematics) is desirable but not a strict requirement.