Sort by
Refine Your Search
-
of the software and its configurations. This project will investigate novel techniques for the application of formal methods to the design, verification, and validation of embedded systems, with particular emphasis
-
-twin concepts, and programming (e.g. Python, MATLAB, LabVIEW or similar engineering software) B.4 Strong interest in metrology B.5 Experience in working with experimental setups, laboratory equipment
Searches related to software verification computer science
Enter an email to receive alerts for software-verification-computer-science positions