-
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
-
of application. Proof of English proficiency About the department The PhD student will join CAES, a group working on the most efficient and effective computer architectures of the future, from large-scale data
-
other societal aims. The position is part of the NWO-funded ‘Thirsty Cities: Action-perspectives for a climate-proof, drought-resilient, and water-sensitive built environment’ project. A transdisciplinary
-
and Social Sciences. We emphasize personal and professional development and encourage social activities. Contribute to future-proofing the healthcare system while maintaining accessibility and quality
-
an interview. If it turns out to be a match from both sides, we will hire the candidate either at the UT or the LUMC (you can indicate your preference). We will close the vacancy as soon as these two positions