Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
Working as a UT student Stories from UT employees Job alert About UT Campus Research institutes Strategy and culture Twente and Enschede Nederlands English en Nederlands English Vacancies Mendix Developer
-
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
-
adversarial tampering. Build an open-source software stack that maps algorithms to hardware, including compiler extensions and runtime monitors. Demonstrate your solutions on real-world use cases You will
-
and production systems. Key responsibilities include: Developing and integrating a shared software/hardware infrastructure and supporting its use in research, education, and communities. Driving cross
-
2025 and include: a specific motivation letter a CV including at least three references a list of publications one or more links to software you wrote or contributed to About the department
-
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