The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character.
The Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services.
We play an instrumental role in Europe by fueling innovation through research partnerships with industry, boosting R&D investments leading to economic growth, and attracting highly qualified talent. We look for researchers from diverse academic backgrounds to contribute to our projects in areas such as: Network Security, Information Assurance, Model-driven Security, Cloud Computing, Cryptography, Satellite Systems, Vehicular Networks, and ICT Services & Applications.

Main responsabilities:

• Tool Extension & Integration: Develop a plugin or extension for either ARG2P or Carneades to support meta-argumentation with preferences (values, goals, enforcement) and decision-making mechanisms.
• Goal-Oriented Reasoning: Suggest argumentative paths or interpretations to maximize attainment of goals/values and provide legal justifications.
• Knowledge Input & Representation: Enable input from SHACL-SPARQL for rule encoding and OWL/RDF for knowledge base representation.
• Visualization & Interaction: Implement interactive visualizations of argument and meta-argument structures, including support and attack relations, argument weights, rule violations, and goal satisfaction.
• User Experience: Improve the user interface to support legal experts and practitioners.
• Deployment: Ensure the tool can run locally (online version desirable but optional within a 12-month timeframe)

The successful candidate will join the SVV research group headed by Prof. Domenico Bianculli. The team focuses on the development and design of reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv

Main responsabilities:

• Tool Extension & Integration: Develop a plugin or extension for either ARG2P or Carneades to support meta-argumentation with preferences (values, goals, enforcement) and decision-making mechanisms.
• Goal-Oriented Reasoning: Suggest argumentative paths or interpretations to maximize attainment of goals/values and provide legal justifications.
• Knowledge Input & Representation: Enable input from SHACL-SPARQL for rule encoding and OWL/RDF for knowledge base representation.
• Visualization & Interaction: Implement interactive visualizations of argument and meta-argument structures, including support and attack relations, argument weights, rule violations, and goal satisfaction.
• User Experience: Improve the user interface to support legal experts and practitioners.
• Deployment: Ensure the tool can run locally (online version desirable but optional within a 12-month timeframe).