-
the world, delivering competitive and successful high-quality research. The institute employs 500 people of which 275 are PhD’s or PostDocs. With its unique NanoLab facilities the institute holds 1250 m2
-
, with collaboration from: Alfen – BESS developer, Stedin – grid operator, Eneco – energy supplier, ENTRNCE – electricity market expertise provider, Kyos – developer of market optimization tools
-
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
-
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
-
amplifiers, ultra-low power analog to digital converters, software-defined radio, mixer-first receivers, N-path filters and sub-sampling phase locked loops. The group is a world leader and initiator of many