News and Events: Open Positions
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.
No Open positions at ILLC
Headlines Open positions, general
Open positions, general
PhD Studentship in in Theory and Applications of Dependence Logic
The Department of Mathematics and Statistics at the University of Helsinki invites applications for a doctoral student position in Theory and Applications of Dependence Logic for a fixed-term of three years (with a possibility of extension if further funding can be obtained later). The starting date of the full-time position is September 1, 2019, or earlier by agreement.
Read more about the project on the homepage of Dr. Fan Yang: https://sites.google.com/site/fanyanghp/. The doctoral student will be supervised by Dr. Fan Yang and Prof. Juha Kontinen. This research is embedded in the Helsinki Logic Group. For more information about the Group, please visit: https://wiki.helsinki.fi/display/Logic/Home.
Applicants are expected to hold a Master’s degree in mathematics, computer science, philosophy or some other relevant subject by the time of the start date. An ideal candidate should have a strong background in mathematical logic, and a keen interest in interdisciplinary research.For more information, see https://sites.google.com/view/logical-no-go-theorems/%E9%A6%96%E9%A1%B5/phd-position or contact Dr. Fan Yang at fan.yang at helsinki.fi.
PhD Research Fellowship in Wittgenstein and the Philosophy of Mathematics, Bergen (Norway)Deadline: Wednesday 5 June 2019
The position is funded by the Norwegian Research Council, and connected to the project “Mathematics with a Human Face: Set Theory within a Naturalized Wittgensteinean Framework”. The complete text of the grant application can be provided to interested applicants upon request.
The fellowship funding consists normally of three years of full-time research. On certain conditions it may be an option to add a fourth year with teaching obligations. A substantial part of this additional year will consist of teaching, tutoring and evaluation work at Examen philosophicum (an introductory 10 credits philosophy course mandatory for all university students), or at other preliminary courses at the Faculty of Humanities. The content of such a teaching year will be regulated in a separate agreement at the time of appointment, or shortly thereafter.
It is mandatory for the successful applicant to relocate to the University of Bergen for the duration of the fellowship, and conform to the regulations that apply to the position.
PhD student or postdoctoral position in logic-based knowledge representation, Dresden (Germany)Deadline: Friday 31 May 2019
The Chair of Computational Logic at the TU Dresden invites applications for a Research Associate / PhD Position/ Postdoc (salaray group E 13 TV-L, subject to personal qualification) as well as a Senior Research Associate / Postdoc (salaray group E 14 TV-L, subject to personal qualification) within the ERC Consolidator Grant 'A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation (DeciGUT)' starting at the next possible date. Both positions are fixed-term for 4 years,and offers the chance to obtain further academic qualification (e.g. Ph.D. or habilitation thesis). A part-time employment of 50% of the fulltime weekly hours is possible. The first position is suitable for both PhD Students and Postdocs.
The aim of the ERC project DeciGUT is to create a unified, model theoretical basis for decidability, which in turn will enable the definition of new, even more expressive but decidable knowledge representation languages. As a researcher in the ERC project you will investigate fundamental principles for computational properties (such as decidability, complexity) of reasoning tasks in the field of knowledge representation. Both positions are strongly focused on foundational research.
PhD student position in theoretical philosophy, Salzburg (Austria)Deadline: Wednesday 5 June 2019
The Department of Philosophy at the Faculty of Cultural and Social Sciences at the University of Salzburg seeks applications for a doctoral fellowship in theoretical philosophy. The appointment is for four years, and the starting date is 1 October 2019. Applicants must have earned a Masters degree in philosophy by the start of the appointment. The primary responsibility of the appointee will be to complete a doctoral dissertation under the supervision of Professor Christopher Gauker.
Applicants should expect to work out the precise topic of the dissertation in consultation with Professor Gauker. The topic of the dissertation should lie within the area of theoretical philosophy (philosophy of language, philosophy of mind, epistemology, metaphysics, philosophical logic, and the history of these subjects). Prof. Gauker is especially interested in formally-oriented philosophy of language and empirically-oriented philosophy of mind. The appointee is also expected to teach two hours (one course) per semester from the third year onwards and to assist in administration.
Rosaline Franklin Fellowships for female researchers, Groningen (The Netherlands)Deadline: Sunday 2 June 2019
The prestigious Rosalind Franklin program is aimed at women in industry, academia or research institutes who aspire to become a Full Professor in a European top research university.
Several Rosalind Franklin Fellowships are available for tenure-track positions at the Assistant Professor level available at the University of Groningen. Four positions are earmarked for CS & AI, including one on "software-intensive systems". There are also six positions for any area in Science and Engineering. At the stage of Assistant Professor 60% of your time is for research, 30% for teaching activities and 10% for organizational tasks. In exceptional cases candidates can be offered a position as Associate or Full Professor.For more information, see https://www.rug.nl/about-us/work-with-us/job-opportunities/overview?details=00347-02S00071LP&cat=wp or contact j.a.perez at rug.nl.
Postdoctoral researcher, The University of Strathclyde, Glasgow, ScotlandDeadline: Friday 24 May 2019
Prof Neil Ghani wishes to recruit a post-doctoral researcher to work on his Compositional Game Theory project which aims
at a new model of game theory allowing the construction, reasoning and implementation of large games from smaller ones.
Basic definitions are in place but we now need to expand these definitions to cover complex situations that arise in practice
and show concrete advantages of this new compositional model of game theory. Applicants should have experience in one of
functional programming, type theory, category theory or game theory and preferably experience in several of the above. The
post is initially for one year with the possibility of an extension.
Reference number: 214590.
Research Fellowship in Digital Humanities, Paris (France) & Oxford (England)Deadline: Friday 14 June 2019
As part of a collaboration between Oxford and the Sorbonne, we are delighted to announce the new call for applications for a three-year fully funded fellowship open to students wishing to pursue doctoral studies in (amongst other subjects) digital humanities. Applicants should have a background in one or more of the following four disciplines: digital humanities, history of science, mathematics, or computer science. They should demonstrate experience of historical study alongside evident ability in the field of digital humanities or data sciences.
Thesis topics might combine any area of the history of science with an approach in digital humanities. In particular, proposals exploring innovative digital or computer-based approaches for research in the history of mathematical sciences or on early modern correspondence will be welcome, as will those involving investigation into how the development of digital analysis, research, and visualization tools can contribute to new research on scientific and/or epistolary corpuses.
W2 Professorship in Pure Mathematics, Bonn (Germany)Deadline: Wednesday 31 July 2019
The Mathematical Institute of the Faculty of Mathematics and Natural Sciences at the University of Bonn invites applications for a W2- Professorship (tenured) in Pure Mathematics, to be filled as soon as possible. The successful candidate will be offered a membership at the Hausdorff Center for Mathematics. He/she is expected to actively participate in the acquisition of further third party research funding.
Successful candidates are expected to be internationally renowned in an area of pure mathematics complementing and strengthening the areas represented by the existing research groups. The usual teaching requirements are an integral part of the professorial position. Prior knowledge of the German language is not required.For more information, see https://www.math.uni-bonn.de/offenestellen?language=en or contact fgmathe at math.uni-bonn.de.
PhD Studentship in Logic and Systems Verification at UCLDeadline: Monday 23 September 2019
We are looking to hire an exceptionally able and highly-motivated PhD student in the area of logic and verification to work in UCL's PPLV group. We are particularly keen to find someone who is interested in systems modelling and verification and their underlying logical theory. The studentship is aligned with the IRIS project which is focussed on understanding and reasoning about the compositional structure of systems models and the supporting idea of an interface --- and will be supervised by Professor David Pym and Dr. James Brotherston.
In more detail, area of the studentship is in logic and its application to program and systems verification, with a particular interest in the development and application of logical tools based on bunched logic, separation logic, and concurrent separation logic (and related ideas) and their use to reason about the correctness of interfaces between programs, systems, and organizations. The project may range from theoretical work in logic (semantics and proof theory) through the theory of system modelling tools to the design and implementation of modelling and verification tools.For more information, see http://www.cs.ucl.ac.uk/prospective_students/phd_programme/funded_scholarships/#c33501 or contact David Pym at d.pym at ucl.ac.uk, James Brotherston at j.brotherston at ucl.ac.uk, or Will Venters at w.venters at lse.ac.uk.
Two PhD student positions in justification logic, Bern (Switzerland)Deadline: Friday 5 July 2019
Two PhD-student positions are available in the project 'Explicit Reasons' in the Logic and Theory Group of the Institute of Computer Science at the University of Bern. This SNSF funded research project is concerned with reasons why one believes something, reasons why one knows something, and reasons why one ought to do something. We develop formal languages in which reasons can be represented explicitly and investigate the logical properties of explicit reasons. To achieve this, we rely on the framework of justification logic.
Candidates should have a strong background in logic (mathematics, computer science, or philosophy). University regulations require doctoral students to hold a Master's or equivalent degree. The positions are available from September 2019 and come with a competitive salary.For more information, see http://www.inf.unibe.ch/research/ltg/index_eng.html or contact Prof. Thomas Studer at thomas.studer at inf.unibe.ch.
Visiting Professorships & Fellowships at Corpus Christi College, Cambridge (England)Deadline: Thursday 6 June 2019
Applications are invited for Visiting Professorships and Visiting Fellowships at Corpus Christi College for the academic year 2019–2020.
Visiting Professorships are ideally suited to senior professors on sabbatical leave from their permanent positions who intend to conduct research in the University of Cambridge or a recognised research establishment in Cambridge. The College offers temporary senior membership, generous dining privileges (free of charge) at High Table and the opportunity to engage fully with a small community of Fellows and postgraduate students across the full range of academic disciplines.
While welcoming applications from established academics at all stages of their career, the College aims to make Visiting Fellowships particularly attractive to early-career scholars on sabbatical leave from their permanent positions who have had no prior academic experience of Oxford or Cambridge. A Visiting Fellowship is held for one term only. The College offers temporary senior membership, generous dining privileges (free of charge) at High Table and the opportunity to engage fully with a small community of Fellows and postgraduate students across the full range of academic disciplines. It also offers free accommodation in a comfortable, modern one-bedroom flat on the College's postgraduate site at Leckhampton. On appointment, a Visiting Fellow will be put in contact with an existing member of the College's Fellowship who will act as a mentor.For more information, see https://www.corpus.cam.ac.uk/about-corpus/people/vacancies.
PhD student scholarship in logic, knowledge representation and databases, Liverpool (England)Deadline: Sunday 23 June 2019
The Knowledge Representation and Verification Groups at the Department of Computer Science, University of Liverpool, jointly offer a PhD Scholarship for work at the intersection Logic, Knowledge Representation, and Databases.
The PhD student will be supervised by Professors Frank Wolter and Boris Konev and Dr Martin Zimmermann and will closely collaborate with Postdoctoral Researchers working on the new EPSRC-funded research project 'quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data', a joint project with Professor Michael Zakharyaschev at University of London. The preferred start date for the Scholarship is October 1, 2019. Interviews will be held from the beginning of May.For more information, see https://www.liverpool.ac.uk/study/postgraduate-research/studentships/ontology-based-data-management/ or contact Frank Wolter at wolter at liverpool.ac.uk, or Martin Zimmermann at Martin.Zimmermann at liverpool.ac.uk.
Postdoctoral position in symmetry in computational complexity, Prague (Czech Republic)Deadline: Sunday 23 June 2019
We are looking for a highly motivated and creative post-doctoral researcher to work on the ERC funded project Symmetry in Computational Complexity (CoCoSym) under the supervision of Libor Barto at the Department of Algebra, Faculty of Mathematics and Physics, Charles University, Prague.
The project concerns the complexity and approximability of fixed-template constraint satisfaction problems over finite domains and their generalization to infinite domains and weighted relations. The duration of the position will be between one and three years. The starting day is flexible, applications will be considered until the position is filled. The position carries no teaching load. The position is fully funded from the ERC grant, funding for conference travel is also available.
Postdoctoral position (2y) in category theory, Sydney (Australia)Deadline: Thursday 13 June 2019
The Centre of Australian Category Theory at Macquarie University is advertising a 2-year postdoc in relation to a project entitled 'Working synthetically in higher categorical structures'. Applications from candidates with expertise in the areas of ∞-categories, 2-categories or homotopy type theory are particularly encouraged.For more information, see http://jobs.mq.edu.au/cw/en/job/505375/postdoctoral-research-fellow-in-category-theory or contact Dr Richard Garner at richard.garner at mq.edu.au..
Two faculty positions in mathematical logic, Nanjing (China)Deadline: Friday 7 June 2019
There are at least 2 positions, which ranges from assistant to full professorship, available for mathematical logicians in the mathematical department of Nanjing University (P.R. China). The research applicants should focus on one or more of the following areas: Model theory, Recursion theory, and/or Set theory.
The applicants are expected to have a strong publication and independent research record. They are also expected to actively collaborate with research groups in the mathematical department. The classes can be taught in either Chinese or English.
PhD position at the University of LuxembourgDeadline: Thursday 18 July 2019
The Mathematics Department of the university of Luxembourg has an opening for 11 PhD positions, co-financed by a grant from the Luxembourg National Research Fund. One of them is related to algebraic logic, universal algebra, and order theory.
Starting date: not before March 2019. Applications will be treated on a rolling basis.
Two PhD student positions in reliability and trust, Luxembourg (Luxembourg)Deadline: Saturday 1 June 2019
The Interdisciplinary Centre for Security, Reliability and Trust of the University of Luxembourg has obtained a large grant from the European Union devoted to funding two PhD positions:
1) Security and privacy of resource constrained devices
2) Risk analysis and regulatory compliance of distributed ledger technologies for transaction and management of securities.
Commencement of the PhDs will be on the 1st November 2019.For more information, see http://www.luxli.lu/two-phd-positions-at-the-university-of-luxembourg/ or contact Réka Markovich at reka.markovich at uni.lu, or Livio Robaldo at livio.robaldo at uni.lu.