Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
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
-
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
, interfacial charge transfer, and enantioselective molecular adsorption. The project combines first-principles electronic-structure calculations, Wannier-based modeling, symmetry analysis, quantum-transport
-
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
-
, 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
-
Helmholtz Association of German Research Centres | Oldenburg Oldenburg, Niedersachsen | Germany | 3 months ago
interest groups from publicly available sources, data analysis, hypothesis formulation, and mathematical modelling of political, psychological, and financial forces that shape human behaviour. Key questions
-
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
humanities) Experience in the analysis of historical records (ideally from the 17th to 19th centuries) Openness to mathematical and computational approaches Willingness to engage in interdisciplinary research
-
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