Sort by
Refine Your Search
-
Listed
-
Employer
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and our
-
only supports your professional development, but also actively contributes to positive change in society You can expect numerous benefits, such as public transport season tickets and car sharing, a wide
-
on their background, expertise and affinities. Possible directions include: Formalizing GPU kernel semantics (e.g., PTX/Triton) in a proof assistant and verifying high-performance inference kernels (numerical accuracy
-
actively contributes to positive change in society You can expect numerous benefits , such as public transport season tickets and car sharing, a wide range of sports offered by the ASVZ , childcare and