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
-
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
-
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
-
candidate will be an international, highly motivated, scientifically curious postdoctoral fellow with a strong work ethic and a PhD degree in Mathematics, Physics, computer science or computational life
-
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
-
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
-
: 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
-
/66a22f337ed4a1edaa95851fdc718c311cc… Requirements Additional Information Website for additional job details https://recruiting.fz-juelich.de/jobposting/66a22f337ed4a1edaa95851fdc718c311cc… Work Location(s) Number of offers
-
power systems in the CoSES lab at the Technical University of Munich. Previous Work https://mediatum.ub.tum.de/doc/1731060/g5zgxaj96lcyhh8gh6le1xbuu.Wetzlinger-2023-TAC.pdf https://mediatum.ub.tum.de/doc