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 | 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
-
/1696192/aab7jokzk7x4paq7m2y9pa2p6.Wetzlinger-2022-NAHS.pdf Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in computer science, engineering, or related disciplines
-
://application.vc.in.tum.de/ TUM and VC & AI Lab: The Technical University’s computer science department is the Top-1 ranked computer science department in Germany. Our culture is highly international with over 50