-
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
-
research in the areas of condensed matter physics, nanotechnology, photonics, and theoretical and computational physics. We announce a PhD position for a project focusing on simulation and artificial
-
, 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