-
/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems
-
contact both, and Your profile PhD in Information Systems, Computer/Data Science, Software Engineering, Applied Mathematics, or a related field Experience in publishing high-quality research, as
-
the following activities: Conduct highly innovative research in the intersection of cybersecurity and safety-critical systems, in dependability methods and solutions and in architectures and systems that support
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions