Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Karolinska Institutet
- Karolinska Institutet, doctoral positions
- SciLifeLab
- Cranfield University
- University of Groningen
- ; Swansea University
- Delft University of Technology (TU Delft)
- Infra Plan consulting
- RPTU University of Kaiserslautern-Landau •
- University of Lund
- Uppsala universitet
- ;
- ; UWE, Bristol
- ; University of Surrey
- Aalborg University
- BI Norwegian Business School
- CNRS
- Chalmers University of Technology
- DAAD
- EPFL
- Hannover Medical School •
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- KU Leuven
- Linköping University
- Ludwig-Maximilians-Universität München •
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- National Research Council Canada
- Nature Careers
- R@ISE Project (University of Limerick)
- Technical University of Denmark
- Technical University of Munich
- Texas A&M University
- UNIVERSITY OF VIENNA
- Universidad Pontificia Comillas
- University of A Coruña
- University of Michigan
- University of Twente
- University of Vienna
- Université Grenoble Alpes
- 30 more »
- « less
-
Field
-
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
-
Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in automated program verification and/or software
-
probabilistic and epistemic uncertainties by defining sets of probability distributions, for the quantitative verification of neural networks. This approach provides qualitative measures of how likely the outputs
-
correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools
-
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
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
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
-
and grant applications, including detailed statistical model power analysis, missing data and safety analysis; and supervising data collection and verification procedures across multiple platforms
-
Nature Careers | Vancouver South Shaughnessy NW Oakridge NE Kerrisdale SE Arbutus Ridge, British Columbia | Canada | 1 day ago
detailed parameterised geometric models and running simulations for various operational scenarios, but also applying the simulation results to the design and verification of biological shielding components
-
. 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