Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
fellow will conduct research on Algorithmic Verification of Database Systems with the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position will
-
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
-
At the Technical Faculty of IT and Design, Department of Computer Science, one PhD stipend/Integrated PhD stipend in theories for programming semantics, methods for verification and reliability