Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National Renewable Energy Laboratory NREL
- National Research Council Canada
- Chalmers University of Technology
- Cranfield University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- KU LEUVEN
- Ludwig-Maximilians-Universität München •
- Ryerson University
- Technical University of Denmark
- University of Southern Denmark
- 1 more »
- « less
-
Field
-
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
-
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
-
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
Searches related to software verification
Enter an email to receive alerts for software-verification positions