These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Open positions at ILLC
Headlines Open positions, general
Open positions at ILLC
Assistant Professor in Model-Based AIDeadline: Monday 22 November 2021
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.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2021/09/21-775-assistant-professor-in-model-based-ai.html or contact Prof dr. Ulle Endriss at U.Endriss at uva.nl.
Postdoctoral Researcher Unravelling our Capacity for MusicDeadline: Monday 1 November 2021Are 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.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2021/10/21-794-postdoctoral-researcher-unravelling-our-capacity-for-music.html or contact Prof. Henkjan Honing at H.J.Honing at uva.nl.
PhD Researcher Unravelling our Capacity for MusicDeadline: Monday 1 November 2021Are 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.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2021/10/21-793--phd-researcher-unravelling-our-capacity-for-music.html or contact Prof. Henkjan Honing at H.J.Honing at uva.nl.
Open positions, general
Postdoctoral position on reasoning about interfacing & communication (2y), London (England)Deadline: Sunday 19 December 2021
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.For more information, see https://webapps2.is.qmul.ac.uk/jobs/job.action?jobID=5719 or contact Prof Edmund Robinson at e.p.robinson at qmul.ac.uk.
Twenty PhD student positions in Logics for CS, Wien (Austria)Deadline: Tuesday 30 November 2021
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.
Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen)Deadline: Tuesday 30 November 2021
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.
Postdoctoral position (3y) and PhD student position in symbolic algorithms, Bergen (Norway)Deadline: Sunday 14 November 2021
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.For more information, see https://www.jobbnorge.no/en/available-jobs/job/212553/postdoctoral-research-fellow-position-within-informatics-symbolic-algorithms or contact Mateus de Oliveira Oliveira at mateus.oliveira at uib.no.
Post-doc position in "Logico-philosophical foundations of geometry and topology", Toruń (Poland)Deadline: Wednesday 10 November 2021
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.
(New) Postdoctoral Fellowships & Senior Research Fellowships in Philosophy (Global Priorities), Oxford (England)Deadline: Wednesday 10 November 2021
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.For more information, see https://globalprioritiesinstitute.org/opportunities/ or contact gpi-office at philosophy.ox.ac.uk.
PhD student position in the philosophy of mathematical practice, Aarhus (Denmark)Deadline: Monday 1 November 2021
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.For more information, see https://phd.nat.au.dk/for-applicants/open-calls/november-2021/the-philosophy-and-history-of-mathematics/.