197 proof-checking-postdoc-computer-science-logic PhD positions at University of Groningen
Sort by
Refine Your Search
-
). 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
-
, 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
-
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
-
an international place of knowledge. Faculty of Economics and Business The Faculty of Economics and Business offers an inspiring study and working environment for students and employees. International accreditation
-
Organisation Job description The position is within the NWO-funded project “Collateral damage: The financial economics of slavery”. This project aims to understand an underexposed aspect of slavery
-
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
-
, 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
-
forces with prestigious partner universities and networks, the University of Groningen is truly an international place of knowledge. Faculty of Economics and Business The Faculty of Economics and Business