Formal Verification PhD Student (m/f/d)
|
Germany
At Huawei's Hilbert Research Center in Dresden, our mission is to explore programming models, operating system and virtualization technologies on multicore heterogeneous architectures and NVM/SCM platforms, aiming to provide a high-performance, reliable abstraction layer for efficient resource utilization. Collaborating with top universities and industry partners, we turn research into... |
View salary & More Info |
|
3 days ago
|
|