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

Headlines Open positions at ILLC

Headlines Open positions, general

Open positions at ILLC

  • Postdoc in Computational Social Choice

    Deadline: Wednesday 25 May 2022

    Have you recently completed (or are you about to complete) your PhD and are you excited about current developments at the interface of AI with Economics taking place in the Computational Social Choice and Algorithmic Game Theory research communities? Can you see yourself working in an interdisciplinary environment, in a team with smart and friendly colleagues?

    For more information, see here or at https://vacatures.uva.nl/UvA/job/Postdoc-in-Computational-Social-Choice/745372502/ or contact Prof. dr. Ulle Endriss at .
  • NWO-LiI-combined-logo.jpg

    (Updated) Postdoctoral Researcher in Cognitive Computational Modeling

    Deadline: Sunday 22 May 2022

    Are you interested in how people represent the word meaning? Are you curious how individual differences affect linguistic communication? Do you have experience in combining computational cognitive modeling and psycholinguistic research? If you are excited about doing this kind of research in an interdisciplinary environment with a team of friendly and enthusiastic colleagues, then you may want to join us as Postdoctoral researcher in cognitive computational modeling of individual differences in semantic representations.

Open positions, general

  • Postdoctoral position in ethics & epistemology of risk, Karlsruhe (Germany)

    Deadline: Wednesday 30 November 2022

    At the Karlsruhe Institute of Technology (Karlsruhe, Germany) we are recruiting a postdoctoral researcher in Ethics & Epistemology of Risk with a focus on energy transitions. We are looking for a candidate with willingness to work in inter- and transdisciplinary collaborations. The position is initially limited to three years with option to extend by another three years.

  • PhD student position in compositional verification, Rennes (Frances)

    Deadline: Thursday 30 June 2022

    Project RIOT-fp is an Inria Challenge with the objective of developing future-proof operating system libraries for application to IoT: RIOT.  Our PhD project is interested in one of the futures of RIOT: RIOT-rs, implemented in Rust. This computing base provides access to a vast ecosystem of analysis, code generation, verification and proof tools. It offers us to rethink a system software validation process that would suit both system programming and verification requirements (as one may expect from using, e.g., a theorem prover). Our project will focus on the development of a modular validation flow by case-studying the core of RIOT's implementation in Rust [riot-rs-core]. We define and exercise this workflow to characterize and validate global requirements ranging from race-condition, deadlock avoidance, priority management and schedulability, and/or memory isolation, faul isolation, information flow control.

    The project will be implemented with teams Tea and Celtique at Inria, Rennes, in close collaboration with teams Tribe and Prosecco at Inria, Paris. It requires a Master degree with solid background in proof theory and mathematical logic, programming languages and type theory, as well as motivation and interest in both the implementation and verification of operating systems. Prior knowledge and experiences with both Rust, F*, Coq, Lean will stand out. The project will require weekly multi-center meetings and hence excellent communication and team-working skills in both french and english. Keywords: theorem proving, programming languages, operating systems, formal verification, dependent types, theory of contracts.

  • 11MIAOlogo.jpg

    (New) PostDoc positions in TCS and/or combinatorial optimization in Copenhagen

    Deadline: Wednesday 29 June 2022

    The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in theoretical computer science and/or combinatorial optimization.We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Øresund Bridge.

    We currently have openings for both theoretically and practically inclined researchers. There is a lot of flexibility as to what kind of research to pursue, and all candidates are welcome, both those who want to go deep into either theory or practice and those who are inspired by the challenge of bridging the gap between the two.

    These postdoc positions are full-time research positions for an expected duration of two years. Within the overall framework sketched above, the postdocs will be expected and encouraged to contribute to and influence the research agenda. Teaching of advanced courses is encouraged but not required. The starting date is negotiable but should ideally be as early as possible, say October 2022 or so.

    For more information, see https://jakobnordstrom.github.io/openings/Postdoc-UCPH-220629.html or contact Jakob Nordstrom at .
  • 1MIAOlogo.jpg

    (New) PhD positions in TCS and/or combinatorial optimization in Copenhagen

    Deadline: Wednesday 29 June 2022

    The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization. The PhD students will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom, which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge.

    We currently have openings for both theoretically and practically inclined PhD students. There is a lot of flexibility as to what kind of research the PhD students will pursue, and all candidates are welcome, both those who want to go deep into either theory or practice and those who are inspired by the challenge of bridging the gap between the two.

    These positions are available for period of 3-5 years, depending on the current education level of the applicant. All PhD positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary. The starting date is negotiable but should ideally be in not-too-late autumn 2022.

    For more information, see http://www.jakobnordstrom.se/openings/PhD-UCPH-220629.html or contact Jakob Nordstrom at .
  • Sorbonne University – Paris IAS research Chair on "Major Societal Changes", Paris (France)

    Deadline: Thursday 2 June 2022

    In partnership with Sorbonne University, the Paris Institute for Advanced Study is offering a 10-month chair for high-level international researchers in the social sciences and humanities during the academic year 2023-24 (from September 1st 2023 to June 30th 2024).

  • PhD student position in logical approach to verification of hyperproperties, Sheffield (England)

    Deadline: Wednesday 1 June 2022

    I am looking for a motivated PhD student to join the Verification group of The University of Sheffield. The topic of the PhD project is quite flexible, but should relate to logical theory of verification. The Studentship will cover tuition fees at the UK rate and provide a tax-free stipend at the standard UKRC rate (currently £15,609 for 2021/22) for three and a half years. International students are eligible to apply, however will have to pay the difference between the UK and Overseas tuition fees.

  • (New) Postdoctoral position in social epistemology of argumentation, Amsterdam (The Netherlands)

    Deadline: Wednesday 1 June 2022

    The ERC-funded project '€˜The Social Epistemology of Argumentation'€™ (SEA) has now been running for almost four years under the leadership of Prof. Catarina Dutilh Novaes. The team has been investigating the conditions under which argumentative processes lead to fruitful epistemic outcomes in terms of the circulation and co-production of knowledge, evidence, objections etc. While we adopt a social epistemological perspective, we are equally interested in the role of power dynamics and patterns of inclusion and exclusion in these processes.

    For the final years of the project, we are now looking for a post-doc whose research focuses on political argumentation, for a two-year position. This research position will be combined with teaching (65% research, 35% teaching). The position is available from September 1, 2022, or as soon as possible thereafter.

  • (New) PhD position in Argumentative Explainable Artificial Intelligence

    Deadline: Tuesday 31 May 2022

    At Utrecht University, in the Intelligent Systems Group, we have an open PhD position on argumentative explainable artificial intelligence. Do you want to contribute to making artificial intelligence responsible and transparent? This position on explanations and knowledge-based AI might be for you!

  • Two assistant / associate professorships in systems engineering, Kungens Lyngby (Denmark)

    Deadline: Monday 30 May 2022

    We have recently established a new section in software systems engineering at the Technical University of Denmark. We are now hiring faculty members for the team. We expect to hire 2 new assistant/associate professors.

    Dear colleagues,

  • (New) Postdoctoral research fellowship in proof theory, Birmingham (England)

    Deadline: Sunday 29 May 2022

    The School of Computer Science at the University of Birmingham is seeking to appoint a Research Fellow (postdoc) in Proof Theory, to be employed until (at least) the end of April 2024. The Theory group at the University of Birmingham is one of the leading groups in logical foundations of computer science, with expertise not only in Proof Theory but also related areas such as Type Theory, Category Theory and Mathematical Logic.

    This position is funded by a UKRI Future Leaders Fellowship "StrIP: Structure vs Invariants in Proofs", led by Dr Anupam Das. The project aims to develop the theory of 'cyclic proofs' and their connections to automata theory, programming languages, and structural proof theory. The principal responsibility of the fellow will be to conduct research, both collaboratively with Dr Das and other researchers at Birmingham, and independently. The fellow will also be supported in career development and encouraged to pursue independent opportunities.

  • Assistant Professor in Economic Design, Cooperative Game Theory and Social Choice, Saint-Etienne School of Economics (France)

    Deadline: Monday 23 May 2022

    The Saint-Etienne School of Economics (Jean Monnet University, France) is offering an Assistant Professor position ("chaire de professeur junior" in the French system) in the area of Economic Design, Cooperative Game Theory and Social Choice. The successful candidate must be highly trained in the axiomatic and computational approaches in economic theory. The position benefits from substantial research funding to hire a postdoc and a PhD candidate, as well as a substantial teaching reduction.Depending on the seniority of the successful candidate, the tenure evaluation will take place after 3 or 5 years, and it will lead to a full professorship.

  • Two PhD positions in Knowledge Representation and Reasoning, TU Graz

    Two fully funded PhD positions in Graz, Austria. Research topics are on complex reasoning in Computational Argumentation within Knowledge Representation and Reasoning.

    For more information, see https://www.tugraz.at/institute/ist/research/group-wallner/jobs/ or contact Johannes P. Wallner at .