Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National Renewable Energy Laboratory NREL
- 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 •
- National Research Council Canada
- Ryerson University
- Technical University of Denmark
- University of Southern Denmark
- 1 more »
- « less
-
Field
-
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