Sort by
Refine Your Search
-
; this includes liaising with industrial suppliers for the resolution of issues, including the implementation of formal corrections and quick workarounds as necessary; supporting the process of verification
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions