Sort by
Refine Your Search
-
the Department of Engineering Your profile Education and Scientific Background PhD in Mathematics, Engineering, or a closely related discipline with a focus on modelling, optimization, or data analysis Detailed
-
therefore essential for trustworthy deployment. Current approaches mainly focus on software-level adversarial robustness or high-level fault tolerance. However, few methodologies jointly consider physical
-
, threats, and mitigations. Structure assets into a formal ontology usable in software/system engineering tools. Formal Taxonomy of Security Properties Refine high-level security goals into verifiable design
-
/candidatOffres/show/id_offre/133503 Requirements Specific Requirements Master’s students Required skills: machine learning, software engineering, cybersecurity, formal methods Additional Information Work Location
-
, contact or collision sensors, proprioceptive arrays) on mobile platforms (wheeled/rolling and/or aerial). Designing and integrating a soft shell for protecting the robot from collisions. Developing methods
-
an assistant that offers real-time feedback and recommendations without disrupting agile development? Objectives The PhD will develop the ReqSecDes framework by combining AI-driven extraction and formalization
-
the Department of Engineering Your profile Education and Scientific Background PhD in Mathematics, Engineering, or a closely related discipline with a focus on modelling, optimization, or data analysis Detailed
-
desirable Good knowledge of the Luxembourgish social sector as well as the structures of non-formal education in Luxembourg is an asset Proficient in data processing and analysis software (e.g., Atlas.ti
-
training an autonomous agent to ‘learn’ a control strategy. This formalism is similar to that of optimal control, with the difference that the agent does not have an explicit model of the dynamics
-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security