-
/ 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
-
) Willingness to work in a highly interdisciplinary context and develop a set of interdisciplinary methods (i.e., dealing with both qualitative and quantitative data) Interest in engaging with stakeholders active
-
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 formal methods
Enter an email to receive alerts for formal-methods positions