Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
<span lang="en">TUD Dresden University of Technology</span> | Dresden, Sachsen | Germany | about 1 hour ago
>
At the Faculty of Electrical and Computer Engineering, Institute of Circuits and Systems, the Chair of Highly-Parallel VLSI Systems and Neuro
-
with the ARIA Safeguarded AI programme project “Data-Parallel Proof Checking for Monoidal Theories”, led by Professor Fabio Zanasi within the Programming Principles, Logic and Verification (PPLV
-
, computational science, or closely related). Relevant coursework (examples): Computational physics/scientific computing and numerical methods for PDEs High‑performance computing (parallel distributed
-
coursework (examples): Computational physics/scientific computing and numerical methods for PDEs High‑performance computing (parallel distributed programming, GPU programming) Astrophysical fluid dynamics
-
programming skills, and prior experience training and evaluating neural network models (e.g. in PyTorch). Familiarity with biomechanics or finite-element modelling is an advantage. Background