133 software-verification-computer-science PhD positions at University of Groningen in Netherlands
Sort by
Refine Your Search
-
for Energy Business and Economics Research (CEnBER - https://www.rug.nl/cenber/ ) and in the research programme Economics, Econometrics & Finance of FEB’s Research Institute. The project will be supervised by
-
PhD candidate in the fields of linguistics, computational linguistics, language acquisition, and/or cognitive science. This fully funded position offers the opportunity to conduct cutting-edge research
-
English. Demonstrable knowledge of (and interest in) linguistics, language acquisition, cognitive science, or related fields. Demonstrable skills in at least some of the following: computational linguistics
-
for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control
-
to the development of a control theory that is inherently modular, i.e., that allows for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory
-
theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control systems. These contracts have two desired features: they should i) be
-
the next three years is to be expected. A university PhD training programme is part of the agreement and the candidate will be enrolled in the Graduate School of Science and Engineering. Application Do you
-
consortium comes in. PRELIFE unites experts across a wide range of disciplines from astronomy, biology, chemistry, computer science, earth and planetary sciences, education, mathematics, to physics. Together
-
the next 3 years is to be expected. A PhD training programme is part of the agreement and the successful candidate will be enrolled in the Graduate School of Science and Engineering at the University
-
PhD: Adaptive social flexibility – a powerful mechanism to cope with a rapidly changing world (V25.0210) « Back to the overview Job description The Groningen Institute for Evolutionary Life Sciences