185 software-verification-computer-science PhD positions at University of Groningen in Netherlands
Sort by
Refine Your Search
-
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
-
on various excellence ranking lists. The graduate school of Economics & Business has available: 9 PhD positions in Economics and Business Organisation The aim of our PhD programme is to deliver highly
-
PhD positions in Economics and Business (9.0 FTE) (V25.0049) « Back to the overview Job description Since its foundation in 1614, the University of Groningen has enjoyed an international reputation
-
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
-
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
-
PhD position - Modelling the emergence of information transfer in prebiotic self-replicating systems
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
-
, Computer Science and Artificial Intelligence, the PhD student is in charge of data-driven model reduction. This includes three parts: (1) heuristic approaches (symbolic regression), (2) non-intrusive data-driven