Phd Position in Logics for Multi-agent Systems

1 dag geleden


Utrecht Oost, Nederland Universiteit Utrecht Voltijd

This PhD position is on logical modelling of accountability and responsibility of agents. It is part of the ELSA (Ethical, Legal, & Societal Aspects of AI) lab on Legal, Regulatory, and Policy Aspects of Clinical Decision Support Systems. The lab is an interdisciplinary collaboration between several universities and other partners.

**Your job**:
Your main task will be to develop a multi-agent logical/computational framework for reasoning about accountability and responsibility, that takes into account epistemics, abilities and norms of agents.

This position offers excellent opportunities for professional growth. You will take part in the activities of the ELSA lab, as well as attend international summer schools and workshops to strengthen your research expertise and expand your network. Additionally, you will have the opportunity to contribute to teaching and supervise AI-related thesis projects at both Bachelor’s and Master’s levels (approximately 10-15% of your time). You will be part of the Intelligent Systems group, led by Professor Mehdi Dastani, who will also be your supervisor together with Dr. Dragan Doder.

**Your qualities**:

- a Master’s degree in Logic, Computer Science, Mathematics, Artificial Intelligence, or a related field;
- a solid background in logic (expertise in modal logic is considered a plus);
- a basic understanding of AI concepts and techniques;
- a strong interest in the research topic of this position and a collaborative mindset;
- strong communication skills in English, both spoken and written.

**Our offer**:

- A position for 18 months, with an extension to a total of four years upon successful assessment in the first 18 months;
- a working week of 38 hours and a gross monthly salary between €2,901 and €3,707 (salary scale P under the Collective Labour Agreement for Dutch Universities (CAO NU));
- 8% holiday pay and 8.3% year-end bonus;
- a pension scheme, partially paid parental leave and flexible terms of employment based on the CAO NU.

In addition to the terms of employment laid down in the CAO NU, Utrecht University has a number of schemes and facilities of its own for employees. This includes schemes facilitating professional development, leave schemes and schemes for sports and cultural activities, as well as discounts on software and other IT products. We also offer access to additional employee benefits through our Terms of Employment Options Model. In this way, we encourage our employees to continue to invest in their growth. For more information, please visit Working at Utrecht University.

**About us**:
A better future for everyone. This ambition motivates our scientists in executing their leading research and inspiring teaching. At Utrecht University, the various disciplines collaborate intensively towards major strategic themes. Our focus is on Dynamics of Youth, Institutions for Open Societies, Life Sciences and Pathways to Sustainability. Sharing science, shaping tomorrow.

Working at the Faculty of Science means bringing together inspiring people across disciplines and with a variety of perspectives and backgrounds. The Faculty has six departments: Biology, Pharmaceutical Sciences, Information & Computing Sciences, Physics, Chemistry and Mathematics. Together, we work on excellent research and inspiring education. We do so, driven by curiosity and supported by outstanding infrastructure. Visit us on LinkedIn and discover how you can become part of our community.

The Department of Information and Computing Sciences is nationally and internationally known for its research in computer science and information science. The department provides and contributes to a number of Bachelor's and (Research) Master's programmes in the fields of Computer Science, Information Science, Data Science and Artificial Intelligence. We employ over 200 people in four divisions: Artificial Intelligence & Data Science, Algorithms, Interaction, and Software. The atmosphere is collegial and informal.

**More information**:
As Utrecht University, we want to be a home for everyone. We value staff with diverse backgrounds, perspectives and identities, including cultural, religious or ethnic background, gender, sexual orientation, disability or age. We strive to create a safe and inclusive environment in which everyone can flourish and contribute.
- your motivation letter;
- your curriculum vitae;

If this specific opportunity isn’t for you, but you know someone else who may be interested, please forward this vacancy to them.

Some connections are fundamental - Be one of them
FundamentalConnection



  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd

    In this PhD position, you will do research within the project 'Restoring the structural collagen network in the regeneration of cartilage' (Re-COLL). In particular, you will focus on the development of an innovative cartilage tissue-on-a-chip system, enabling detailed investigations into the structural network of the tissue itself. **Your job**: Tissue...


  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd

    This PhD project investigates predator avoidance and the distributed brain circuits that elicit behavioral (escape, freezing) and emotional (fear) responses. Studying these circuits simultaneously has been challenging, but larval zebrafish—being small, transparent and responsive to threatening stimuli —enable whole-brain imaging of neuronal activity....


  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd

    **Your job**: This PhD project aims to advance spatial ABM modeling for human environmental exposure assessment in health research by addressing a key limitation: the lack of generalisable frameworks. While ABMs are uniquely suited to capturing complex human-environment interactions, current models are often developed in isolation, limiting their...


  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd

    How can we transition to a sustainable hydrogen future in which basic industry flourishes? Join us in a research project that aims to shed light on this question that is as intellectually challenging as it is relevant! **Your job**: Large volumes of green power and green hydrogen are needed to green industry and the economy as a whole. A major uncertainty...


  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd

    **Your job**: - programming language semantics and foundations; - programming language implementation for high performance computing; - probabilistic and differentiable algorithms for machine learning. Your research in one of these three areas should result in successfully obtaining a PhD degree during the appointment. In one of these positions, your...


  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd € 3.059 - € 3.881 per jaar

    Extracellular vesicles (EVs) are natural, biocompatible carriers with innate targeting abilities, making them promising drug delivery vehicles. However, as seen with most nanoparticle platforms, endosomal escape is a limiting factor for their therapeutic impact: the key step determining whether cargo, e.g., CRISPR/Cas9 gene editing machinery, reaches the...


  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd

    Floating photovoltaic (FPV) systems offer a powerful route to expanding solar power without competing for land use. Offshore FPV in particular has great potential, but also many technical, environmental, and system integration challenges. This PhD project aims to develop a robust, physics-based modelling framework tailored to offshore FPV systems, to help...


  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd

    **Your job**: - programming language semantics and foundations; - programming language implementation for high performance computing; - probabilistic and differentiable algorithms for machine learning. Your research in one of these three areas should result in successfully obtaining a PhD degree during the appointment. In one of these positions, your...


  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd

    Extracellular vesicles (EVs) are natural, biocompatible carriers with innate targeting abilities, making them promising drug delivery vehicles. However, as seen with most nanoparticle platforms, endosomal escape is a limiting factor for their therapeutic impact: the key step determining whether cargo, _e.g.,_ CRISPR/Cas9 gene editing machinery, reaches the...


  • Utrecht Oost, Nederland Universiteit Utrecht Voltijd

    Protein lipidation is the covalent attachment of lipids to proteins, regulating their trafficking, protein–protein interactions, and stability. This post-translational modification is dynamically controlled by families of lipidation 'writers' and 'erasers', which collectively modify over 1,500 proteins and influence many aspects of human biology in both...