112 software-verification-computer-science PhD positions at University of Groningen in Netherlands
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
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
-
this initiative, 15 early-stage doctoral candidates (DCs) will be trained through a comprehensive, interdisciplinary program spanning material science, device physics, computer architecture, hardware prototyping
-
this initiative, 15 early-stage doctoral candidates (DCs) will be trained through a comprehensive, interdisciplinary program spanning material science, device physics, computer architecture, hardware prototyping
-
this initiative, 15 early-stage doctoral candidates (DCs) will be trained through a comprehensive, interdisciplinary program spanning material science, device physics, computer architecture, hardware prototyping
-
this initiative, 15 early-stage doctoral candidates (DCs) will be trained through a comprehensive, interdisciplinary program spanning material science, device physics, computer architecture, hardware prototyping
-
research in the field of biomolecular sciences. Twelve vibrant research groups with strong roots in biophysics, biochemistry & molecular biology, cell biology, chemistry, computational biology, microbiology
-
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
-
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 and in the Research School for Behavioral and