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 compared with corresponding verifications (e.g., stable flight behavior at wind speeds of up to 14 m/s and high turbulence). Tasks: Independent and cooperative qualification through scientific
-
environments shall be performed. Subsequently weather-and turbulence-related limit values shall be formulated and compared with corresponding verifications (e.g., stable flight behavior at wind speeds of up
-
research will focus on the design of this network as it evolves, and verification of its performance, or specific aspects of it. It will involve, as one component of the research, developing the Claims
-
information entered by an employer from an employee’s Form I-9, Employment Eligibility Verification, to records available to the U.S. Department of Homeland Security and the Social Security Administration
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
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
-
, sense amplifiers or memories Implement and verify circuit layouts through simulation Utilize advanced CMOS technology nodes (28nm, 22nm, and below) Develop behavioural models for circuit verification
-
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
-
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 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