Sort by
Refine Your Search
-
degrees in either the natural sciences (chemistry, physics, mathematical/computational biology) or in the formal sciences (statistics, computer science, mathematics), but must have a serious interest in
-
processing power of a novel photonic integrated circuit architecture [Heuck2023]. This includes studying the effects of optical loss and decoherence and methods to overcome these by error detection and
-
. Responsibilities: Conduct research in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions