194 proof-checking-postdoc-computer-science-logic PhD positions at University of Groningen
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
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
-
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
-
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
-
). The position is part of the project The Normativity of Multimodal Arguments, which is funded by the Dutch Science Foundation (NWO). In this project, we combine description- and explanation-oriented insights
-
funded by the Dutch Science Foundation (NWO). In this project, we combine description- and explanation-oriented insights into argumentation, as developed in multimodal semiotics and superlinguistics, with
-
-year PhD program, you will join a collaborative research team applying cutting-edge methods from Experimental/Behavioral Economics alongside modern macroeconomic modelling techniques (e.g. DSGE). You'll
-
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
-
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