Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
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
-
reduction, nonlocal PDE operators or OpenMP/MPI/CUDA parallelization? If such terms are familiar for you - and if you are excited by the mathematical analysis, development, and rigorous understanding
-
Profile PhD in Electrical Engineering, Mechanical Engineering or a related field Background in numerical methods, mathematical modeling, and network simulation or analysis Good understanding of power
-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical
-
physics Neurosciences » Other Mathematics » Statistics Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application Deadline 31 Aug 2026 - 23:59 (Europe/Amsterdam) Country Germany
-
, intelligent experiment control, and scientific workflows. Join an interdisciplinary team at the interface of AI, microbiology, and laboratory automation to shape the future of data-driven live-cell analysis
-
Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung | Bremerhaven, Bremen | Germany | 2 months ago
hydroacoustics, bioinformatics and/or image analysis (ZooScan, UVP) Excellent analytical skills, including statistical modelling, mathematical modelling and network analysis Proficiency in coding (R, Python
-
highly Lorentz-boosted and can be produced together with top quarks. Besides physics analysis, the group is also involved in the construction of the Tracker and High-Granularity Calorimeter for the Phase-2
-
(QAE) and related phase and amplitude estimation methods, including variational approaches Development and analysis of efficient oracle implementations for quantum algorithms, particularly for the input
-
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