Sort by
Refine Your Search
-
dependability are key to the next wave of AI adoption. Within this journey, you will focus on algorithmic innovations that exploit—and are constrained by—an emerging neuromorphic processor that our hardware team
-
and hardware. Expect a dynamic, cross-border innovation ecosystem where your contributions directly influence the future of sustainable transport. Information and application Are you interested in
-
should feel comfortable working in a collaborative environment. Initiative and creativity are highly valued. Experience with ultrafast spectroscopy, optics, proficiency in (soft- and hardware) programming
-
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
-
will develop a method to help development teams choose the right algorithm and right hardware. This can be done by measuring (during the above-mentioned experiments) how the algorithms are constrained
-
component-level specifications to system-level specifications. This PhD position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis
-
for verification, i.e., aimed at guaranteeing system-level properties on the basis of component properties. The position is part of the recent large project “Contracts for Control System Design”, funded by