Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Karolinska Institutet
- SciLifeLab
- Karolinska Institutet, doctoral positions
- University of Groningen
- ;
- ; Swansea University
- Aalborg University
- BI Norwegian Business School
- Cranfield University
- Fraunhofer-Gesellschaft
- Infra Plan consulting
- RPTU University of Kaiserslautern-Landau •
- ; Loughborough University
- ; The University of Manchester
- ; UWE, Bristol
- Chalmers University of Technology
- DAAD
- Delft University of Technology (TU Delft)
- EPFL
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- KU Leuven
- Linköping University
- Ludwig-Maximilians-Universität München •
- Lulea University of Technology
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- National Research Council Canada
- Nature Careers
- Technical University of Denmark
- Technical University of Munich
- Texas A&M University
- UNIVERSITY OF VIENNA
- University of Lund
- University of Michigan
- University of Twente
- University of Vienna
- Université Grenoble Alpes
- Uppsala universitet
- 28 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
-
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
-
are The Computer Science Department at Aalborg University takes a leading international position within data management and verification. It is a very young university (1974) but with a strong international profile in
-
and grant applications, including detailed statistical model power analysis, missing data and safety analysis; and supervising data collection and verification procedures across multiple platforms
-
Computational verification of high-speed multi-material flows, where physical experimentation is highly limited, is seen as critical by the Defence Sector (source: the UK Atomic Weapons
-
Nature Careers | Vancouver South Shaughnessy NW Oakridge NE Kerrisdale SE Arbutus Ridge, British Columbia | Canada | 11 days 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
-
verification of their activity and benchmarked against known enzymes. Electrospinning will be used to recycle textile fibers as well as to generate substrates with different material composition and
-
healthy cells in its path, leading to undesired side-effects. Hence, the success of radiotherapy critically depends on accurate treatment verification to maximize the radiation dose inside the tumour and
-
of quantum theory and quantum particle statistics, exploring quantum phenomena at macroscopic scales, and advancing quantum verification theory. Our team is part of the Quantum Optics, Quantum Nanophysics, and