-
and exciting environment with plenty of opportunities for collaborations. In your role as a postdoc, you will focus on the formal verification techniques for process models, and the application
-
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
-
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
-
programmes, especially in areas such as: Embedded systems and digital design, Hardware/software co-design, Dependable and real-time systems, Operating systems and system-level programming, Verification and