Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- DAAD
- Technical University of Denmark
- ; The University of Manchester
- ; University of Bristol
- Aalborg University
- Aarhus University
- Chalmers University of Technology
- Fraunhofer-Gesellschaft
- Ludwig-Maximilians-Universität München •
- RPTU University of Kaiserslautern-Landau •
- Technical University of Munich
- University of Twente
- 2 more »
- « less
-
Field
-
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
-
. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | about 22 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
-
successful candidate is supposed to develop the theory of reachability analysis and apply it to machine learning. By building and leveraging expertise in reachability analysis and formal verification