Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
Organisation Job description Since its foundation in 1614, the University of Groningen has enjoyed an international reputation as a dynamic and innovative centre of higher education offering high
-
of commentary. This project will attempt an analysis of ancient commentary-writing across genres. Its purpose is to contribute to a synoptic view of ancient commentary-writing, one that allows generalizations
-
methods; can conduct academic research at the highest level both independently and collaboratively in a team; is fluent in English (C1 level) and has excellent communication skills; is well-versed in
-
graphs embedded in spaces with constant curvature. The position will be co-supervised by dr. Moritz Otto (MI) and by dr. Akrati Saxena (LIACS). Academic excellence is the main selection criterion. Your
-
Organisation Job description A PhD position is available for a four-year term as part of the recently awarded ERC Starting Grant for the IntensifiedCO2 project. The main objective of this project is
-
in collaboration with diverse partners and stakeholders, contributing not only to academic output but also to visible societal change. The PhD project is part of the “Wad Gaat Om” program, which aims
-
treatment outcomes in osteoarthritis, Health Technology Assessment (HTA) is essential for ensuring efficient and sustainable healthcare. Therefore, we are looking for a PhD candidate who wants to combine
-
Organisation Job description Since its foundation in 1614, the University of Groningen has enjoyed an international reputation as a dynamic and innovative center of higher education offering high
-
, analysis, and model choice while retaining strong error guarantees. This means that researchers can adapt their research questions and sampling plans to the data as they come in and in a way that is as model