Universiteit van Amsterdam

News

Institute for Logic, Language and Computation

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.

Sections

No Open positions at ILLC

Headlines Open positions, general

Open positions, general

  • (New) Postdoctoral position in programming principles, logic, and verification, London (England)

    Deadline: Sunday 23 June 2019

    UCL/LSE  has an open position for a Research Fellow in Programming Principles, Logic, and Verification (Ref:1807065), in the EPSRC-funded project "Interface Reasoning for interacting Systems" (IRIS).

    You will work with an interdisciplinary team consisting of computer scientists, Information Systems researchers, logicians and modellers to explore the modelling of the complex distributed digital ecosystems used by today's large enterprises. This fellowship will involve working with industry partners to analyse and model their ecosystems. Ideally you will have a technical/engineering background with experience in programming, formal methods, business modelling and business analysis, and an understanding of qualitative and quantitative research techniques. Good communication skills are essential.

    The role will be jointly managed by David Pym at UCL and Will Venters at LSE. While based at UCL, the role will involve working at the LSE for around two days per week where you will have a desk. Th post is funded for 12 months in the first instance with a possible extension up to 36 months.

  • (New) PhD student and postdoctoral positions in formal methods, Vienna (Austria)

    Deadline: Friday 31 May 2019

    The Security & Privacy group at TU Wien is currently looking for several outstanding Ph.D. and postdoc candidates to conduct research within the ERC Consolidator Project "Foundations and Tools for Client-Side Web Security". The project will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. The project is a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.

    For more information, see https://secpriv.tuwien.ac.at/thesis_and_job_opportunities/ or contact Prof. Matteo Maffei at .

  • (New) Postdoctoral position in evidential pluralism in the social sciences, Canterbury (England)

    Deadline: Thursday 13 June 2019

    We're looking for a postdoctoral philosopher of science to work on a research project 'Evidential pluralism in the social sciences'.

    The aim of the project is to investigate the extent to which some recent developments in the philosophy of evidence-based medicine can be applied to evidence-based policy in the social sciences, and whether they can provide new philosophical foundations for mixed-methods research in the social sciences. The project (and the postdoc position) starts on 1st September, runs for 3 years, and is funded by the Leverhulme Trust.

  • (New) Ten PhD student positions and one postdoctoral position in cybercrime and forensic computing, Erlangen (Germany)

    Deadline: Wednesday 12 June 2019

    The Department of Computer Science and the School of Law at FAU invite applications for 10 PhD positions in Computer Science (full time) and Law (part time, 75%) and 1 postdoctoral position at the School of Law (full time), within the Research Training Group 2475 "Cybercrime and Forensic Computing" funded by the German Research Foundation (DFG) commencing on October 1, 2019. All positions are salary level 13 TV-L.

    The Research Training Group aims to systematically analyse research questions arising from the interaction between computer science and criminal law. Applicants should have an excellent academic record, hold an MSc, LL.M. or an equivalent university degree in computer science, law or related disciplines, and have the goal to finish a PhD degree within three years. Applicants for the postdoctoral position should hold a PhD in law.

    For more information, see https://www.cybercrime.fau.de/open-positions/ or contact Felix Freiling at .

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

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

  • Postdoctoral researcher, The University of Strathclyde, Glasgow, Scotland

    Deadline: 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.

    For more information, see https://strathvacancies.engageats.co.uk/ or contact Neil Ghani at .

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

    For more information, see http://www.culturesofknowledge.org/?p=10822 or contact Alexandre Guilbaud at , or Miranda Lewis at .

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

     

  • (Updated) PhD Studentship in Logic and Systems Verification at UCL, Londen (UK)

    Deadline: 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://pplv.cs.ucl.ac.uk/phd_admissions/ or contact David Pym at , James Brotherston at , or Will Venters at .

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

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

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

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

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

    For more information, see here or contact .

  • PhD position at the University of Luxembourg

    Deadline: 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.

    For more information, see https://www.mathjobs.org/jobs/jobs/13528 or contact Bruno Teheux at .

  • 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 , or Livio Robaldo at .