-
The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems
-
at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in
-
parametrization, estimate N-mineralization rates from soil organic matter content and other N-balance components support monitoring, reporting and verification of greenhouse gas emissions and mitigation efforts
-
Description We are looking for people interested in joining the Software Lab as a PhD student. The Software Lab conducts research at the intersection of software engineering, programming
-
+C). You will extend the existing core-level GW+C implementation in the FHI-aims software package. Currently, this approach is limited to molecules; your task will be to adapt and expand it for
-
16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering
-
Deadline 16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering
-
and compared with corresponding verifications (e.g., stable flight behavior at wind speeds of up to 14 m/s and high turbulence). Tasks: Independent and cooperative qualification through scientific
-
, C/C++ and/or Java, etc.; experience with the implementation of specialized transport modelling software, optimization algorithms and procedures; strong ability and desire to learn new programming
-
of models in existing simulation software conducting numerical studies, also on HPC systems Further specific tasks can be tailored to the attitude and interests of the PhD students/postdocs. Requirements