Internship in Formal Methods (m/f/d)

conferences such as ASPLOS, SOSP, OSDI and USENIX ATC etc. Moreover, its research and development results have been well...'21: [3] CAAT by Ponce de Leon et al., OOPSLA'22, best paper award: [4] BBQ by Wang et al. ATC'22 [5] Atomig by Beck...

Lugar: Dresden, Sachsen | 22/02/2025 23:02:58 PM | Salario: S/. No Especificado | Empresa: Huawei

System Software Researcher Engineer (m/f/d)

conferences such as ASPLOS, SOSP, OSDI and USENIX ATC etc. Moreover, its research and development results have been well...'21: [3] CAAT by Ponce de Leon et al., OOPSLA'22, best paper award: [4] BBQ by Wang et al. ATC'22 [5] Atomig by Beck...

Lugar: Dresden, Sachsen | 12/02/2025 23:02:56 PM | Salario: S/. No Especificado | Empresa: Huawei