-
systems contain bugs and vulnerabilities which can be exploited by malicious actors. This project will be conducted in the Software Engineering and Security (SES) group. The PhD student will conduct an in
-
malicious actors. This project will be conducted in the Software Engineering and Security (SES) group. The PhD student will conduct an in-depth investigation of a class of vulnerabilities and devise static
-
for "Educating Europe’s Future Engineers for the Next Generation of Mobile Working Machines: AI driven Sustainability, Productivity, and Safety." The ENGAGE network includes an additional 11 doctoral students and
-
, the cores of the systems’ reasoning engines typically remain ‘symbolic’ (knowledge-based). These symbolic or neuro-symbolic software systems are of high practical complexity, which makes them difficult