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
Postdoctoral Researcher in Mathematics of Quantum AlgorithmsDeadline: Sunday 8 August 2021
Are you an ambitious researcher with a PhD degree in Mathematics, Computer Science, or Physics, strong mathematical background, and expertise in quantum computing and quantum algorithms?
QuSoft is looking for a postdoctoral researcher for developing and analyzing new quantum algorithms. This position is part of Maris Ozols VIDI project “Mathematics of Quantum Algorithms”, funded by the Dutch Research Council (NWO). The goal of this project is to develop quantum algorithms for algebraic problems, as well as for problems where both the input and output are quantum states as opposed to classical bit strings. More specifically, we will focus on designing new quantum transforms and subroutines. We will look for new ways to attack algebraic problems using ideas from Hadamard matrix theory, and use tools from representation theory to extend the quantum Schur transform and apply it to problems with permutational and/or unitary symmetries. You will also have an opportunity to collaborate with other members of QuSoft.For more information, see here or at https://www.uva.nl/en/content/vacancies/2021/07/21-593-postdoctoral-researcher-in-mathematics-of-quantum-algorithms.html or contact Maris Ozols at m.ozols at uva.nl.
Open positions, general
Two PhD student positions in continuous-time models, Aalborg (Denmark)Deadline: Wednesday 6 October 2021
We are looking for two highly motivated PhD candidates with interests in continuous-time models, verification and machine learning. The ideal candidates will have a strong MSc degree in computer science, mathematics or control engineering. The PhD scholarships are for three years and come with a competitive salary and light teaching load. The envisaged starting date is October 2021, application deadline is the 6th of August.
Topic and qualifications: The envisaged research will focus on efficient analysis of continuous-time models by means of model/dimensionality reduction. The candidates are therefore required to demonstrate a strong background and understanding in at least one of the following areas: - Continuous-time models such as Markov chains or differential equations - Optimization, verification or dimensionality/model reduction - Scientific computing and software development. Fluent written and verbal communication skills in English are required. Knowledge of Danish is not compulsory. Applicants must have obtained a Master degree before the appointment day.For more information, see https://www.stillinger.aau.dk/vis-stilling/?vacancy=1155031 or contact tschaikowski at cs.aau.dk.
Two postdoctoral research positions in formal verification, Manchester (England)Deadline: Wednesday 6 October 2021
We have vacancies for two fixed term postdoctoral researchers in the Autonomy and Verification group, in the Department of Computer Science at the University of Manchester. The roles relate to formal verification applied to sensor networks working on the UKRI/EPSRC funded project Science of Sensor Systems Software with the Universities of Glasgow, St Andrews, Imperial College London and Manchester.For more information, see https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=20435 or contact Clare Dixon at clare.dixon at manchester.ac.uk, or Michael Fisher at michael.fisher at manchester.ac.uk.
Funding for 7 PhD positions at UvA's Data Science CentreDeadline: Thursday 23 September 2021
The DSC seeks to accelerate data driven research within the University of Amsterdam. Part of that mission is to foster interdisciplinary research. Specifically, in this call, we aim to foster research into new data science methods that help to tackle hard challenging problems in a given domain. The DSC provides funding for a PhD student to perform the research at this interaction. Such interaction is realized through joint supervision: one supervisor with core expertise in data science methods, the other with core expertise in the domain problem.For more information, see https://dsc.uva.nl/programmes/interdisciplinary-phd-programme/interdisciplinary-phd-programme.html or contact dsc at uva.nl.
Ten PhD student positions or postdoctoral positions on limits of variability in languages, Potsdam (Germany)Deadline: Sunday 19 September 2021
The Collaborative Research Center SFB 1287 'Limits of Variability in Language: Cognitive, Grammatical, and Social Aspects' in Potsdam, Germany, invites applications for 10 positions for PhD candidates and Postdocs available from July 2021 for a duration of four years (subject to funding commitment).
The CRC provides a fantastic research infrastructure including a large interdisciplinary network of researchers (21 PIs in 13 scientific projects, one transfer project, and three service projects), its own graduate school and funding opportunities for conference visits, summer schools, hosting international experts etc. By modelling the factors influencing linguistic behaviours, the CRC contributes to a better understanding of the underlying mental representations and processing architectures in individual language users, as well as of the grammatical options available in individual languages and specific linguistic varieties, and options shared by particular subgroups of languages users.For more information, see https://www.uni-potsdam.de/en/sfb1287/vacancies.html.
PhD student position in enabling reactive synthesis, Goeteborg (Sweden)Deadline: Sunday 19 September 2021
There is an open PhD position (5 years) in the department of Computer Science and Engineering at the University of Gothenburg/Chalmers, Sweden. The student will work on the project "Enabling Reactive Synthesis through Runtime Verification? with Professor Nir Piterman. The student will join a team supported by an ERC Consolidator grant and the Swedish research council (VR).
Research scope: formal methods, reactive synthesis, runtime verification, automata, games, temporal logics.For more information, see https://tiny.cc/gbgphd.
PhD student position on formalisation of logical calculi, Saarbruecken (Germany)Deadline: Thursday 16 September 2021
A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach, Jasmin Blanchette and Sophie Tourret. The project is about using Isabelle/HOL to formalize logical calculi.
PhD student positions (nine funded, two non-funded) in formal models, Urbino (Italy)Deadline: Tuesday 24 August 2021
The University of Urbino is now accepting applications for the Doctoral Program "Research Methods In Science And Technology". 9 fully funded positions and 2 non-funded positions are available. Notice that 2 positions are reserved for students holding a foreign degree.
The Program fulfills the requirements for innovative international doctoral programs, and one of its subject areas is "Formal Models, Data Analysis and Scientific Computing". Research projects in Logic and Philosophy of Science are welcome within this subject area.
(New) PhD position, Bergen (Norway), 3 or 4 years, 100%Deadline: Sunday 15 August 2021
The Department of Philosophy at the University of Bergen is inviting applications for a PhD fellowship connected to the interdisciplinary FRIPRO project “Advancing Causal Modeling with Coincidence Analysis” (AdCNA) led by Prof. Michael Baumgartner. The applicant must hold a Master’s degree in Philosophy, Logic, Mathematics, Statistics, or Informatics, and is expected to write a PhD thesis in the field of causation, causal reasoning, or causal data analysis, broadly construed. The salary is at pay grade 54, currently NOK gross 490.800 p.a.For more information, see https://www.jobbnorge.no/en/available-jobs/job/209600/phd-research-fellowship-in-philosophy-of-science or contact Michael Baumgartner at michael.baumgartner at uib.no.
Tenure Track Assistant Professor of Computer Science , Roskilde, DenmarkDeadline: Sunday 1 August 2021
Department of People and Technology, Roskilde University, invites applications for a position as Tenure Track Assistant Professor of Computer Science. The successful candidate is expected to become affiliated with the research group Programming, Logic and Intelligent Systems.
PhD position in Algorithmic Game Theory, Aarhus University (Denmark)Deadline: Sunday 1 August 2021
Applications are invited for a PhD fellowship at Aarhus University, Denmark in the Computer Science programme. The position is available from November 2021 or later.
The group of Ioannis Caragiannis is looking for a talented PhD student who is interested in conducting research in the general research area of Algorithmic Game Theory. This is a very active research trend at the interface of Computer Science (in particular, theoretical computer science, algorithms and complexity) and Economics (microeconomics, game theory, and social choice).For more information, see https://phd.nat.au.dk/for-applicants/apply-here/august-2021/algorithmic-game-theory/.
Postdoctoral position (4y) on semantics of non-trivial contradictory logics, Bochum (Germany)Deadline: Saturday 31 July 2021
Within the framework of the ERC Advanced Grant "Contradictory Logics: A Radical Challenge to Logical Orthodoxy" (Prof. Heinrich Wansing), the following position is available at the Ruhr University Bochum, subject to the approval of the third party funding body: Post-doctoral position (4 years, 1.0. FTE).
For the sub-project on the semantics of non-trivial contradictory logics, a postdoctoral researcher with excellent knowledge of non-classical logic is sought. The project will study certain contra-classical logics, namely non-trivial inconsistent connexive logics, bi- and tri-lattice logics, logics with double negation as negation, and Abelian logics. The aim of the sub-project is to obtain a deep understanding of the inconsistency of these logics from the point of view of certain semantics, in particular from the area of constructive logic and conditional logic, and to semantically characterize the provable contradictions of these systems. We offer a productive internationally oriented research environment; the working language is English. This is a research position. In addition, support of project-related activities (workshops, hosting guests, etc.) is expected.For more information, see https://www.stellenwerk-bochum.de/jobboerse/ruhr-universitaet-bochum-rub-post-doktorandenstelle-4-jahre-bochum-210628-475589 or contact Heinrich.Wansing at rub.de.
Postdoctoral and PhD student position in mathematical logic, Gent (Belgium)Deadline: Saturday 31 July 2021
One Postdoc position and one PhD position in Mathematical Logic.
Project: Recursion, reflection, and second-order arithmetic
Supervisors: Fedor Pakhomov, and Andreas Weiermann
Host institutions: Ghent University
Funding bodies: FWO
PhD studentships in programming languages, Glasgow (Scotland)Deadline: Saturday 31 July 2021
The School of Computing Science at the University of Glasgow is offering studentships to support PhD research for students starting in autumn 2021. Types of Scholarships being offered include Minerva Scholarships (Research and Teaching Scholarships( and Excellence Bursaries (Research Scholarships). Whilst the above funding is open to students in all areas of computing science, applications in the area of programming languages are most welcomed.
Students can apply for admission to PhD study at any time, but to be considered for the studentships we are offering at this round, we must receive your application by 31 July 2021. Applicants are strongly encouraged to contact a potential supervisor and discuss an application before the submission deadline.For more information, see https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/ or contact ornela.dardha at glasgow.ac.uk.
PhD Scholarship in Computer Science, Brussels (Belgium)
The VUB AI Lab has an open call for a phd scholarship, preferrably filled by a student with mastery of the Dutch language.
The topic of the phd research is expected to be aligned with one of the Principal Investigators of the lab.
Anyone interested in doing a phd in logic, knowledge representation, constraint solving/optimization, can find more info at the link below.
PhD and postdoc positions in emergent deep net communication, Pompeu Fabra, Barcelona
ALiEN (Autonomous Linguistic Emergence in Neural Networks) is a 5-year project starting on January 1st, 2022, lead by Marco Baroni. ALiEN is funded within the European Union's Horizon 2020 research and innovation program through an European Research Council 2020 Advanced Grant (grant nr. 101019291; PE6: Computer Science and Informatics panel). The aim of ALiEN is to let deep neural networks develop a shared communication protocol from the ground up, so that they can solve joint problems more flexibly.
Two PhD student scholarships in Knowledge Representation & Reasoning, Brussels (Belgium)
The Vrije Universiteit Brussel is offering two PhD scholarships to join Prof. Bart Bogaerts' research group on knowledge representation and reasoning
Particular topics of interest are:
* Explainability (explaining outcomes of declarative problem solving in a human-understable way)
* Mathematical foundations (unifying frameworks for knowledge representation)For more information, see https://www.bartbogaerts.eu/jobs/2101-2PhDScholarships.php or contact Bart Bogaerts at bart.bogaerts at vub.be.