46 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Ghent University
Sort by
Refine Your Search
-
chemistry economy. The main objective of this multidisciplinary project is the experimental and computational (through plasma chemistry and reactor modelling) investigation of possible approaches to process
-
the Controllosphere Theory of cognitive effort (see doi 10.1037/rev0000467). A Ph.D. and background in computational modeling, engineering or a related discipline is required; expertise with linear control theory and
-
offering state-of-the-art study programmes grounded in research in a wide range of academic fields, Ghent University is a logical choice for its staff and students. For the Learning and Cognitive Control
-
understanding of avian life by integrating ecology, cognition, and behavioural biology. Our work spans species, scales, and settings — from wild gull colonies and aviary experiments to theoretical and applied
-
offering state-of-the-art study programmes grounded in research in a wide range of academic fields, Ghent University is a logical choice for its staff and students. YOUR TASKS The research group of Prof Tom
-
offering state-of-the-art study programmes grounded in research in a wide range of academic fields, Ghent University is a logical choice for its staff and students. YOUR TASKS You will join the ERC