107 formal-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
-
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
-
of the Open Competition Domain Science-M programme (Twenty-one innovative research projects awarded through Open Competition Domain Science-M programme | NWO - https://www.nwo.nl/en/news/twenty-one-innovative
-
funded by the Dutch Science Foundation (NWO). The project aims to integrate description- and explanation-oriented insights into argumentation, as developed in multimodal semiotics and superlinguistics
-
). The position is part of the project The Normativity of Multimodal Arguments, which is funded by the Dutch Science Foundation (NWO). The project aims to integrate description- and explanation-oriented insights
-
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