Sort by
Refine Your Search
-
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
-
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
-
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
-
, 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
-
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
-
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
-
people, including about 100 researchers and professors and about 80 PhD students. The SPARKS team (Scalable and Pervasive softwARe and Knowledge Systems) is the largest team at I3S with a staff of 104
-
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
-
secondments: A three months secondment at ISAS with co-supervisor R. Heyer is planned to exchange on data formats and to be trained to exploit the new version of the MetaProteomeAnalyzer Software A three months