44 proof-checking-postdoc-computer-science-logic PhD positions at University of Groningen
Sort by
Refine Your Search
-
on logic to precisely describe the system in question and check desired properties, with both academia and industry recognising its importance. Distribution is an integral part of innumerous computer systems
-
check desired properties, with both academia and industry recognising its importance. Distribution is an integral part of innumerous computer systems, providing them with essential improvements to aspects
-
20 Nov 2025 Job Information Organisation/Company University of Groningen Department Faculty of Spatial Sciences Faculty of Spatial Sciences Research Field Demography Geography Economics Sociology
-
30 Sep 2025 Job Information Organisation/Company University of Groningen Research Field Economics » Business economics Economics » Production economics Engineering » Design engineering Engineering
-
technology as a solution for journalism’s struggles. In doing so, they have also limited the directions in which journalism could actually develop, and elided critical reflections on the complex relationship
-
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
-
27 Sep 2025 Job Information Organisation/Company University of Groningen Research Field Economics » Health economics Researcher Profile First Stage Researcher (R1) Country Netherlands Application
-
the NGF-Call AiNed ELSA Labs). The ELSA4TI Lab is led by Prof Ming Cao, Director of the Jantina Tammes School of Digital Society, Technology and AI. ELSA4TI focuses on the ethical, legal, social and
-
27 Sep 2025 Job Information Organisation/Company University of Groningen Research Field Psychological sciences » Behavioural sciences Psychological sciences » Psychology Sociology » Sociology
-
18 Sep 2025 Job Information Organisation/Company University of Groningen Research Field Economics » Environmental economics Economics » Industrial economics Researcher Profile First Stage Researcher