Are you looking for a challenging job in a dynamic interdisciplinary team? The Institute for Logic, Language and Computation (ILLC) is looking for an enthusiastic and experienced back-end engineer, contributing to the development of a flexible and sustainable infrastructure for MUSic-related Citizen Science Listening Experiments (MUSCLE). The project is funded by a PDI-SSH grant awarded to the Music Cognition Group (MCG), part of the research unit Language & Music Cognition (LMC), at the ILLC.

Are you working at the forefront of theoretical computer science and are you equally passionate about research and teaching in this field? Are you looking forward to taking the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation?

The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to significantly strengthen its profile in the domain of theoretical computer science by appointing two new faculty members in this area. One appointment will be made at either the Full Professor or the Associate Professor level, and another at either the Associate Professor or the Assistant Professor level.

We are looking for outstanding academics, with a strong track record in research (relative to the level of seniority of the applicant) and a true dedication to first-class teaching. We offer a temporary employment contract for a period of two years, with the intention of converting it into a permanent contract after a positive assessment.

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.

This Earmarked Scholarship project is aligned with a recently awarded Category 1 research grant. It offers you the opportunity to work with leading researchers and contribute to large projects of national significance.

Data available for collection in the real world is very often not a matter of yes or no, not a matter of all or nothing, but actually a matter of degrees. There is a growing need to represent this information in graded databases. Moreover, real-world data usually involves only finitely-many objects. Mathematical logic offers precise syntactic tools via logical languages that allow for expressing and querying information, which has already proved its power in the case of finite databases with binary yes-or-no properties with the deep development of classical finite model theory. On another research stream, mathematical fuzzy logic has developed a wealth of results about logical tools for general (possibly infinite) graded structures. However, graded finite structures pose specific difficulties that do not allow a straightforward application of general results. In this project, we want to fill this obvious theoretical gap by putting forward a mathematically ambitious study of graded finite structures, which may turn out to be crucial for a wider applicability of mathematical logic.

The University of Sheffield is seeking candidates with an outstanding record of scholarship in the logical and semantic foundations of computing, and in particular hardware and software verification. You will work within the Verification Group, a well-established research group in the Department of Computer Science which currently hosts six members of staff and one Research Assistant.

Current research ranges from the mathematical and logical foundations of computing to practical verification methods and tools to support these. Particular strengths of the group include the semantic, algebraic and categorical foundations of concurrent and distributed systems, computational logics, finite model theory and descriptive complexity, formal methods for hardware and software systems, verification of quantitative systems, verification of hybrid and cyber physical systems, verification of multi-core programs and weak memory models, as well as interactive and automated theorem proving. To expand and complement these strengths we encourage applications in any of the fields mentioned above, and beyond.

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. Possible times to start: ASAP/Spring 2022/Autumn 2022.

We're looking for a Senior Lecturer in Logic to be employed at the Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg in Sweden.

This is a permanent position with the possibility to be promoted to full professor. Swedish skills are not required at the start of the employment.

Data linking is the scientific challenge of automatically establishing typed links between the entities of two or more structured datasets. A variety of complex data linking systems exists, evaluated on public benchmarks. While they have allowed for the generation of vast amounts of linked data in the context of various dedicated projects, data generic systems often have limited applicability in many real-world scenarios, where data are highly heterogeneous and domain-specific. The ANR project DACE-DL (DAta-CEntric AI-driven Data Linking) targets a paradigm shift in the data linking field with a data-centric bottom-up methodology relying on machine learning and representation learning models. We hypothesize there exists a finite number of identifiable and generalisable linking problem types (LPTs), that we need to categorize and analyse to provide better linking results.

Starting period: January 2022 - duration of 24 months. Localization : Institut de Recherche en informatique de Toulouse (IRIT). Applicants are required to have a PhD in Computer Science, a strong background in semantic web technologies, ontology matching and data linking. Fluency in written / spoken English is required too. A good publication record and strong programming skills will be a plus.

Contact:

The goal of the project "Automated Reasoning with Legal Entities" (AuReLeE) is to provide effective and general means for the automation of normative reasoning processes based on legal knowledge bases. To this end, in the project the hired Postdoc will design (and optimally implement) reasoning mechanisms for normative logics, in particular norm-based deontic logics. These decision procedures will be combined with a flexible approach to import and re-use existing knowledge bases for their employment as underlying contexts for the normative reasoning tasks. The results of AuReLeE aim at allowing the full utilization of existing legal knowledge bases? potential for compliance checking.

AuReLeE is conducted at the Faculty of Science, Technology and Medicine of the University of Luxembourg. It is hosted by the Individual and Collective Reasoning (ICR) research group at the Department of Computer Science. AuReLeE is funded by the Luxembourg National Research Fund (FNR) under grant CORE AuReLeE (C20/IS/14616644).

Expected profile: A PhD degree (or equivalent) in Computer Science or Mathematics, with a focus on computational logic, automated reasoning, symbolic logic or artificial intelligence, with evidence of high quality research including a demonstrated track record in quality publications, an da solid background in at least one of: computational logic, proof theory, automated reasoning, normative logics. Starting date: As soon as possible after 01.01.2022. Contract type: fixed-term 14 months. Work hours: full time 40.0 hours per week. Location: MNO, Belval, Esch sur Alzette, Luxembourg.

Digital information technologies should align with the user'€™s needs and values. To achieve this, personal agents need to model the user'€™s informational and motivational attitudes such as goals, values, norms, beliefs, and their interrelations in order to derive support actions that are aligned with the user. We offer a fully funded 4-year PhD position to investigate how non-monotonic reasoning techniques such as belief revision, argumentation, defeasible reasoning, inconsistency handling, and reasoning about actions can be employed for user modelling in the context of personal agents. Questions that can be addressed are for example: Which types of update operations on user models are required? Is a new norm in conflict with existing desired behaviors? Can belief revision techniques be adapted for run-time norm revision? With this we lay the foundations for flexible and value-aligned personal agents that give people agency over their lives with digital technology.

The position is associated with the Hybrid Intelligence Centre, a 10-year Dutch national research program which investigates how we can create AI that augments, instead of replaces human intelligence. The position is embedded in the Human Media Interaction (HMI) department at University of Twente. HMI is a friendly and welcoming research group, with attention to employee wellbeing. The terms of employment are in accordance with the Dutch Collective Labour Agreement for Universities (CAO). The preferred starting date is between May 1st 2022 and September 1st 2022.

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc positions in theoretical computer science.

We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Algorithms and Complexity Section at DIKU. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While our focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

These postdoc positions are full-time research positions for an intended duration of two years. Teaching of advanced courses is encouraged but not required. Travel funding is included, and we will also start receiving visitors again on a regular basis as soon as the Covid-19 situation permits. The starting date is flexible from April to September 2022.

The emerging quantum software group @ CEA List, Universite Paris-Saclay, offers a two years fully-funded postdoctoral position at the crossroad of quantum programming, program analysis and formal methods.

Our long term goal is to design and develop formal techniques and tools enabling productive and certified quantum programming. Especially, we develop Qbricks, a proof of concept environment for formally verified quantum programming language. Adapting the best practice for classical computing formal verification, our recent development of Qbricks enables formal specification and verification for quantum programming with ideal qubits. The goal of this post-doctoral position is to extend this practice to quantum compilation and physical qubits implementations. Possibilities include, among others, error correction mechanisms in certified quantum code, together with specifications and reasoning technique for certifying its reliability, automatized certified optimizer for quantum circuits, hardware agnostic assembly language together with its compiler, qubit mapping, etc.

Keywords: quantum programming, compilation, optimization, formal verification, deductive verification.

The Department of Computer Science at LTH, Lund University invites applications for two PhD positions in theoretical computer science with focus on computational complexity and algorithms. These are four-year full-time employed positions (including travel money) that come with an internationally very competitive salary. The PhD students will be working in the research group of Susanna de Rezende.

Lund University was founded in 1666 and is repeatedly ranked among the top 100 universities in the world. It is located in the Öresund area, which is offering one of the strongest and most exciting environments in computational complexity research in Europe. There is extensive collaboration with the University of Copenhagen (UCPH), the IT University of Copenhagen (ITU), and the Technical University of Denmark (DTU) on the other side of the Öresund Bridge. In particular, we will be collaborating with the MIAO research group, which is active at both Lund University and the University of Copenhagen. The PhD students can also look forward to interacting with the five additional faculty in complexity theory in Copenhagen, together with their students and postdocs, as well as with the algorithms group at the Basic Algorithms Research Copenhagen (BARC) centre.

A PhD student position on the topic "Modal logic for granularity (level of detail), with applications to spatial representation and reasoning in AI." is eligible for a scholarship.

The School of Computing at Leeds University will be holding a competition for four EPSRC DTP scholarships available to new PhD students. These scholarships include fees and stipends at the standard EPSRC rate. Two of these scholarships will be funded for 4 years and are specifically for research topics within the remit of Mathematical Sciences. International students are eligible for one of these two scholarships. The other two scholarships will be funded for 3.5 years and there is no special restriction on the research topics. International students are eligible for one of these two scholarships.

The Chair for Philosophy and History of Science (Prof. Helmut Pulte) at Ruhr University Bochum seeks to appoint an excellent Postdoctoral Research Fellow / Assistant Professor in philosophy and/or history of science. A completed PhD with above-average marks in one of these areas is required. We particularly welcome applicants from philosophy and history of mathematics or physics with a profile in "integrative history and philosophy of science".

The full-time position is offered for three years (with possible extension). The salary is based on the German public service pay-grade TVL E13 (100%). The aspired date of appointment is 1 April 2022.

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for a tenure-track assistant professorship in computational complexity theory. We are looking for an outstanding junior researcher with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Algorithms and Complexity Section at DIKU.

This is a world-leading research environment (currently ranked 6th worldwide in algorithms and complexity by CSrankings.org), with a strong presence at top-tier conferences like STOC, FOCS, CCC, and SODA. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While the focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

One 2-year postdoctoral position and two 3-year PhD positions are available at the LaBRI computer science laboratory in Bordeaux, France. Successful applicants will take part in the "Intelligent Handling of Imperfect Data" (INTENDED) AI Chair project (2020-2025), whose aim is to develop principled methods for handling inconsistent, incomplete, and/or uncertain data. The project brings together experts on logic-based knowledge representation and reasoning, database theory, and medical informatics to explore how to exploit formally represented knowledge (constraints, ontologies) and logical reasoning to holistically tackle a range of data quality issues. While there is some flexibility on the exact starting dates, the PhD positions should start no later than October 1, 2022, and can be optionally preceded by a 4-6 month funded internship (starting February / March 2022). Interested candidates are encouraged to get in touch as soon as possible for full consideration.

One postdoctoral research scholarship is opened within the scope of the R&D Unit "Center for Mathematics and Applications" (CMA) (UI/297/2020),. This international call for hiring a postdoctoral research scholarship is in the scientific area of Mathematics with specialization in Algebra and Combinatorics or Logic and Computer Science. The candidates should present a work plan related to the research topics developed in the research sub-area of CMA, Algebra and Logic and indicate possible CMA researcher(s) with whom they plan to develop the work plan. The successful candidate will have to take an active part in the research activities of the group of CMA in Algebra and Logic.

Applications are invited for the post of Associate Professor (or Professor) of Automated Verification in the Department of Computer Science and Trinity College, to start before October 2022. The successful candidate will also be appointed as a Fellow and Tutor in Computer Science at Trinity College, and will be responsible for the organisation and teaching of their subject within the College.

You will be a member of both the University and the College community, part of a lively and intellectually stimulating research community with access to the excellent research facilities which Oxford offers. You will have a role to play in the running of the College as a member of the Governing Body and a trustee of the College as a charity. You will be expected to engage in independent and original research aligned with the Automated Verification research theme, to secure funding and engage in the management of research projects and disseminate research of the highest international standard through publications, conferences and seminars. You will also contribute to teaching on the Department?s highly successful undergraduate and graduate programmes.

The Institute of Philosophy is seeking further to strengthen its research and teaching activities in theoretical philosophy, which includes logic, metaphysics, epistemology, and philosophy of language, science, and mind. We are especially seeking to strengthen our research capacity in philosophical logic and/or philosophy of artificial intelligence. The Leiden theoretical philosophy group is a research-intensive, internationally oriented, and collegial unit with good links to other units in the university.

The 2022--2024 edition of the two-year Master in Pure and Applied Logic jointly organized by the University of Barcelona (UB) and Polytechnical University of Catalunya (UPC) will soon open for pre-registration. Students are welcome to express their interest by sending their background, motivation, and CV. The Master in Pure and Applied Logic caters in the most central aspects of advanced logic, including Computability Theory, Model Theory, Non-Classical Logics, Proof Theory and Set Theory.

The Department of Humanities and Arts at the Technion, Israel Institute of Technology, is offering several fellowships for promising Ph.D. students. We are looking for students with background in the sciences and research proposals at the intersection of the humanities and the sciences, but a research proposal in any of the humanities fields will be considered. A Master's degree with a thesis (minimum grade of 85) is required for admission to the Technion.