Sort by
Refine Your Search
-
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
-
06.10.2023, Wissenschaftliches Personal The PhD position is on safety verification of Cyber-Physical Systems at the intersection between control theory and machine learning. The position is full
-
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
-
environments shall be performed. Subsequently weather-and turbulence-related limit values shall be formulated and compared with corresponding verifications (e.g., stable flight behavior at wind speeds of up
-
, sense amplifiers or memories Implement and verify circuit layouts through simulation Utilize advanced CMOS technology nodes (28nm, 22nm, and below) Develop behavioural models for circuit verification
-
Verification of CYber-Physical Systems (ConVeY) conducts research in three areas: Robust System Design: We develop techniques to guarantee correct behaviour under changes in plant parameters, under certain
-
their system-level integration Develop design architecture and break down requirements into functional blocks Create and execute test benches for RTL and timing simulations Perform formal verification
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | about 2 hours ago
Landau: 75 EUR (single payment for verification of foreign certificates) Recommended: German language & Orientation Course for international students: 750 EUR Costs of living Monthly cost of living: RPTU