Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
into areas such as AI-driven verification, predictive maintenance, and compliance assurance, aiming to enhance system reliability and safety. Situated within the esteemed IVHM Centre and supported by
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
, verification of background information over a period of 5 years is required. Ability to attend international project meetings virtually or in person, often outside of regular business hours. Language
-
Software Defined Vehicles (SDV). The primary objective is to expand, mature, and industrialize a novel European RISC-V automotive ecosystem that enables next-generation high-performance European automotive
-
Hardware-software co-simulation and benchmarking This PhD project is part of SDU microelectronic unit’s effort in neuromorphic chip design and collaborates with international partners working on spiking AI
-
of control software, and reuse efforts from earlier stages as much as possible. On-the-fly Synthesis and Verification: We develop techniques for the online verification and synthesis of controllers