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?

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.

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.

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.

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.

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.

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

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.

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.

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!

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,

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.

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 fully funded PhD positions in Graz, Austria. Research topics are on complex reasoning in Computational Argumentation within Knowledge Representation and Reasoning.