Sort by
Refine Your Search
-
Employer
-
Field
-
their postdocs and PhD-students. The current position will be in the research group Marine Evolution & Ecology. Naturalis has a completely new lab building, including state-of-the-art molecular facilities
-
systems. These contracts have two desired features: they should i) be capable of expressing rich specifications; and ii) come equipped with a theory of compositional analysis that allows for translating
-
equipped with a theory of compositional analysis that allows for translating component-level specifications to system-level specifications. This PhD position will focus on the use of contracts
-
capable of expressing rich specifications; and ii) come equipped with a theory of compositional analysis that allows for translating component-level specifications to system-level specifications. This PhD