1 postdoc-finite-element-microstructure PhD positions at University of Groningen; Published yesterday in Netherlands

Two PhD positions on Modular Control Systems Design using Assume-Guarantee Contracts

University of Groningen; Published yesterday | Netherlands | 11 days ago

component-level specifications to system-level specifications. The two PhD positions will focus on the use of contracts for modular control system design, targeting the following: 1.     Contract synthesis