Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- SciLifeLab
- Cranfield University
- DAAD
- ;
- Aalborg University
- Fraunhofer-Gesellschaft
- Nature Careers
- Technical University of Denmark
- University of Groningen
- ; Loughborough University
- ; Swansea University
- ; The University of Manchester
- ; University of Bristol
- Aarhus University
- Chalmers University of Technology
- Ghent University
- Ludwig-Maximilians-Universität München •
- Lulea University of Technology
- National Research Council Canada
- RPTU University of Kaiserslautern-Landau •
- Technical University of Munich
- Texas A&M University
- UNIVERSITY OF VIENNA
- University of Alaska
- University of Lund
- University of Michigan
- University of Twente
- University of Vienna
- 18 more »
- « less
-
Field
-
and grant applications, including detailed statistical model power analysis, missing data and safety analysis; and supervising data collection and verification procedures across multiple platforms
-
the research findings in real life operating conditions, in an approach to close the gap between pure theory and experimental verifications. You will need to represent the group in different contexts, both in
-
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
-
Nature Careers | Vancouver South Shaughnessy NW Oakridge NE Kerrisdale SE Arbutus Ridge, British Columbia | Canada | about 1 month 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
-
and verification of computation technology for model-based analysis and optimization of process systems, in this case systems for managing stormwater in extreme situations. The work is carried out in
-
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
-
, and advancing quantum verification theory. Our team is part of the Quantum Optics, Quantum Nanophysics, and Quantum Information group of the Faculty of Physics. We are a member of the Vienna Center
-
English equivalent to the course English B/English 6 at Swedish upper secondary school. Follow the instructions on the web page English language requirements for doctoral education. Verification of your