Sort by
Refine Your Search
-
mechanics at the atomic scale. In this project, the University of Groningen will develop an array of state-of-the-art machine learning potentials for multi-component alloy systems that are relevant
-
” (GGS), a PhD position for the period of 4 years is available in the context of modelling green steel mechanics at the atomic scale. In this project, the University of Groningen will develop an array
-
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
-
to shape human activity and facilitate the preservation or even the desired expansion of the quality of life. This project aims at reusing components from existing steel and steel-concrete composite
-
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