Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
classes • A strong theoretical background in functional analysis, PDE theory, and the mathematical analysis of numerical methods • Demonstrated ability and interest in theorem-oriented research, including
-
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
-
Max Planck Institute of Microstructure Physics, Halle (Saale) | Halle, Sachsen Anhalt | Germany | 2 months ago
or non-equilibrium Green’s-function approaches Topological or chiral quantum materials and symmetry analysis Surface and interface modeling, such as molecular adsorption and charge transfer Scientific
-
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
-
models and analysis pipelines for real-time performance, enabling adaptive imaging and feedback control Design active-learning and retraining strategies to robustly generalize to new microbial communities
-
Helmholtz Association of German Research Centres | Oldenburg Oldenburg, Niedersachsen | Germany | 3 months ago
to develop such approaches by careful analysis of human social and political behaviour in case studies of resource management. Your TasksThe work will involve gathering information on lobbying and political
-
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
-
Helmholtz Association of German Research Centres | Oldenburg Oldenburg, Niedersachsen | Germany | 3 months ago
research. The project will combine established methods from historical research with modern approaches from machine learning and network science. Your TasksThe work will involve the analysis of historical
-
: Analysis of CMS Run 3 data and preparation for with a focus on the search new particles in final states with Lorentz-boosted hadronic top/H/W/Z boson decays Selection and training of suitable algorithms