43 proof-checking-postdoc-computer-science-logic PhD positions at Utrecht University in Netherlands
Sort by
Refine Your Search
-
How can generative AI (GenAI) support Health Technology Assessment (HTA) of medicines? HTA bodies and technology developers are already experimenting with GenAI, but systematic evidence on where it
-
variety of perspectives and backgrounds. The Faculty has six departments: Biology, Pharmaceutical Sciences, Information & Computing Sciences, Physics, Chemistry and Mathematics. Together, we work
-
22 Jul 2026 Job Information Organisation/Company Utrecht University Research Field Computer science » Informatics Computer science » Programming Language sciences » Linguistics Language sciences
-
devices through which global logics of valuation and risk are operationalized in local planning decisions. Their effectiveness lies in their banality: the taken-for-granted procedures through which planning
-
PhD: Freeze-Fight-Flight Dynamics in Mental Health Care Faculty: Faculty of Social and Behavioural Sciences Department: Psychology Hours per week: 36 to 40 Application deadline: 27 September
-
well as new field observations; develop a PhD thesis using the above, where some thesis chapters are peer-reviewed journal papers. As PhD candidate, you will work together with PhD candidates and postdoc
-
. They are socio-political devices through which global logics of valuation and risk are operationalized in local planning decisions. Their effectiveness lies in their banality: the taken-for-granted procedures
-
well as new field observations; develop a PhD thesis using the above, where some thesis chapters are peer-reviewed journal papers. As PhD candidate, you will work together with PhD candidates and postdoc
-
, Information & Computing Sciences, Physics, Chemistry and Mathematics. Together, we work on excellent research and inspiring education. We do so, driven by curiosity and supported by outstanding infrastructure
-
for candidates with: An MSc degree in (or nearing completion of) an MSc program in Geoinformatics, Computer Science, (Quantitative) Geography, (Spatial / Geographic) Data Science, Environmental Science, or a