Research & Development specialist – Development of Argumentation Tools

Overview

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

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 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://(Use the "Apply for this Job" box below)./svv

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

• Degree (MSc or equivalent) in Computer Science, Artificial Intelligence, Logic, or Knowledge Representation.
• Knowledge of Semantic Web technologies (e.g., RDF, OWL, SHACL, SPARQL).
• Familiarity with argumentation theory (e.g., ASPIC+, Dung’s frameworks).
• Prior experience with ARG2P or Carneades. Background or interest in legal informatics or computational law.
• Experience developing graph-based visualization interfaces.
• Ability to work in a multidisciplinary team (legal scholars, AI researchers).

• Multilingual and international character. Modern institution with a personal atmosphere. Staff coming from 90 countries. Member of the “University of the Greater Region” (UniGR).
• A modern and dynamic university. High-quality equipment. Close ties to the business world and to the Luxembourg labour market. A unique urban site with excellent infrastructure.
• A partner for society and industry. Cooperation with European institutions, innovative companies, the Financial Centre and with numerous non-academic partners such as ministries, local governments, associations, NGOs.

Applications should include:
Early application is highly encouraged, as the applications will be processed upon reception. Please apply online formally through the HR system. Applications by email will not be considered.

The University of Luxembourg is committed to achieving gender parity among its staff. Should candidates present equivalent profiles, preference will be given to female candidates in all departments where gender parity is not yet achieved.

The University of Luxembourg embraces inclusion and diversity as key values. We are fully committed to removing any discriminatory barrier related to gender, and not only in recruitment and career progression of our staff.

• Contract Type:
  Fixed Term Contract 12 Months (with possibility of extension upon performance review and funding availability)
• Work Hours:
  
  Full Time 40.0 Hours per Week
• Location:
  
  Kirchberg Campus
• Internal
  
  Title:
  
  Research & Development Specialist