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
-
Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung | Bremerhaven, Bremen | Germany | 3 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
-
-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis. However, our pre-studies also showed that further research is needed
-
14.12.2022, Academic staff The BMBF-funded position is part of the CoMPS project, which is a multidisciplinary project combining the fields of mathematics, computer science, geophysics, and high