Sort by
Refine Your Search
-
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
-
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
-
University Hospital Essen, Collaborative Research Centre 1752 | Essen, Nordrhein Westfalen | Germany | 2 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
-
more about logical zonotopes: paper link: https://lnkd.in/e-avQ-2B talk link: https://lnkd.in/eYGWFKmy You will conduct original research on logical–zonotope–based methods for model checking and digital
-
, 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
-
Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing
-
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