-
. Ensuring timely and consistent access to medical test results is crucial for improving the efficiency of healthcare providers. For example, doctors need to know when test results will be available to plan
-
-proof. You will contribute to the CYCLIC project : Cyclic Structures in Programs and Proofs , a collaboration among five Dutch universities, uniting experts in cyclic structures, coinduction, program
-
and a scientific programmer. You will be supervised by both Rianne de Heide and Jelle Goeman. One PhD student will be appointed at the UT, and one PhD student at the LUMC. We collaborate very closely
-
soon (or may already be available) on the Leiden University websit. This project is embedded in the Advanced Nano-electrochemistry Institute Of the Netherlands (ANION), a ‘Gravitation’ program bringing
-
Sustainable Resources. Our faculty is home to about 2,900 Bachelor's and Master's students, 550 employees and 150 PhD candidates. Our educational and research programmes are closely connected with UT research