Sort by
Refine Your Search
-
available in the further tabs (e.g. “Application requirements”). Programme Description The programme enables academics from all over the world to undertake research residencies of 1-3 months at the Berlin
-
, the China Scholarship Council (CSC) and the DAAD have offered a joint programme to support Chinese postdocs since 2013. Who can apply? Outstanding graduates from Chinese Universities and institutes. What can
-
Jetzt online bewerben: https://karriere.klinikum.uni-heidelberg.de/index.php?ac=application&jobad_id=28347 PhD/Postdoc position in computational biology to elucidate NR2F1 dosage dependent
-
available in the further tabs (e.g. “Application requirements”). Programme Description The Grant Programme of the Berlin House of Representatives awards funding to young researchers in any subject area from
-
18.09.2024, Academic staff We have several 𝐏𝐡𝐃 & 𝐏𝐨𝐬𝐭𝐃𝐨𝐜 𝐨𝐩𝐞𝐧𝐢𝐧𝐠𝐬 in our Visual Computing & AI Lab in Munich! Topics have a strong focus on GenAI, including 3DGs, NeRFs, Diffusion
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
particularly welcome strong candidates from physics, engineering, computational science, or other areas of chemistry, with high motivation and strong theoretical/analytical/coding ability. Your opportunity We
-
University Hospital Essen, Collaborative Research Centre 1752 | Essen, Nordrhein Westfalen | Germany | 3 months ago
Rhine-Westphalia, Germany. The available projects span experimental, computational and translational approaches. Research areas include Melanoma biology Tumor immunology Cancer metabolism Spatial and
-
, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. 3. Experience in reachability analysis, formal verification
-
parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but also on