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