Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- SciLifeLab
- Cranfield University
- DAAD
- Technical University of Denmark
- ;
- ; Loughborough University
- ; The University of Edinburgh
- Aalborg University
- Fraunhofer-Gesellschaft
- Nature Careers
- University of Groningen
- ; Swansea University
- ; The University of Manchester
- ; University of Bristol
- 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
-
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
-
English language standard and verification of qualifications. Desirable: Experience of university teaching, a record of publication or other research-related Other requirements: The scholarship is available to full
-
and grant applications, including detailed statistical model power analysis, missing data and safety analysis; and supervising data collection and verification procedures across multiple platforms
-
are subject to a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including
-
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 2 months 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