Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- REQUIMTE - Rede de Quimica e Tecnologia
- BI Norwegian Business School
- University of Groningen
- ; The University of Edinburgh
- CNRS
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Ludwig-Maximilians-Universität München •
- Norwegian University of Life Sciences (NMBU)
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Warwick
- 12 more »
- « less
-
Field
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
, corporate governance, asset management, banking and financial institutions, and market microstructure. The following list details the formal application requirements: A. Academic record Eligible applicants
-
thesis; Curriculum vitae detailed and structured pursuant to sections 9 and 11. *- The administrative verification of the recognition of the degrees obtained abroad will be fulfilled for the purpose
-
control, human-robot collaboration, and smart grids. For this reason, their design and deployment should be accompanied by a formal check of correct behaviour. The Research Training Group on Continuous
-
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
-
, veterinary medicine, pharmacy, natural science, or in another subject area with a biomedical or health-relevant focus The degree must entitle the applicant to pursue PhD studies in Germany. (Verification