174 proof-checking-postdoc-computer-science-logic positions at University of Groningen
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
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
-
Engineering (FSE) contributes to this mission by training skilled professionals through our new EngD programme in Sustainable Process Design. This 2-year post-master design programme, closely collaborating with
-
, 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
-
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
-
Engineering, Systems and Control Engineering, Computational Social Science and Quantitative Economics. Qualifications We are looking for a candidate who: holds a PhD in Systems and Control, Operations Research
-
-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
-
and decision systems as cross-disciplinary areas intersecting Operations Research Engineering, Systems and Control Engineering, Computational Social Science and Quantitative Economics. We are looking