-
, 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