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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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

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.

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.

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.

The project is offering three 4-year PhD positions as well as two postdoc positions for up to 5 years.

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)