Sort by
Refine Your Search
-
Employer
-
Field
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
component-level specifications to system-level specifications. This PhD position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis
-
for verification, i.e., aimed at guaranteeing system-level properties on the basis of component properties. The position is part of the recent large project “Contracts for Control System Design”, funded by
Searches related to verification
Enter an email to receive alerts for verification positions