1 modelling-complexity-geocomputation PhD positions at The Open Universiteit (OU) in Netherlands

PhD position on ‘Automated Detection of Security Vulnerabilities in Software’

The Open Universiteit (OU) | Netherlands | about 2 months ago

methods, AI methods, and testing methods can be applied in both static and dynamic analysis. For instance, formal methods can be applied to create abstract models to identify relevant paths in software code