178 proof-checking-postdoc-computer-science-logic positions at University of Groningen
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
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
-
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
-
). 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
-
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
-
, candidates must complete their MA program before the interviews or provide a letter from their MA thesis supervisor confirming timely thesis completion. A sample chapter or other academic proof of writing is
-
will be housed at the Department of History of Art, Architecture and Landscape, which hosts an active community of PhDs and postdocs. The student will become a member of the Groningen Institute
-
simulations. In collaboration with the rest of the PI's group (4 PhD's + 1 Postdoc + undergrad students) at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, the PhD student