Sort by
Refine Your Search
-
Sea Dynamics, Earth System Modelling, Ice and Climate and Oceans and Climate. In 2022, IMAU research quality and impact were qualified as 'world leading' by an international visitation committee
-
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 ic verification
Enter an email to receive alerts for ic-verification positions