Sort by
Refine Your Search
-
verification and formal verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise students. Optionally contribute to teaching. Required qualifications: Hardware design in a
-
Everyone is talking about artificial intelligence. But who is developing the necessary chips? We are, for example! Would you like to help drive the development of a new highly efficient AI hardware
-
Everyone is talking about artificial intelligence. But who is developing the necessary chips? We are, for example! Would you like to help drive the development of a new highly efficient AI hardware
-
this testbed available to users for testing hardware and applications. NPL will lead on the testing and security evaluation of the testbed and collaborate widely on the technology development. The student’s
-
construction against those changes. Evolving Systems: We investigate novel construction and verification techniques that adapt to offline changes in the specification, the hardware, or the implementation