Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- DAAD
- Cranfield University
- Nature Careers
- SciLifeLab
- Technical University of Denmark
- ;
- ; Loughborough University
- ; The University of Edinburgh
- Fraunhofer-Gesellschaft
- National Research Council Canada
- ; Swansea University
- ; The University of Manchester
- ; University of Bristol
- ; University of Greenwich
- Chalmers University of Technology
- Colorado State University
- Ghent University
- Leibniz
- Ludwig-Maximilians-Universität München •
- Lulea University of Technology
- RPTU University of Kaiserslautern-Landau •
- Ryerson University
- Texas A&M University
- University of Alaska
- University of Liverpool
- University of Lund
- University of Twente
- University of Vienna
- 18 more »
- « less
-
Field
-
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
-
, 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
-
, 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
-
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 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
-
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
-
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
-
expertise in autonomous marine systems. The research focus will be on development, implementation and verification of novel algorithms for motion planning and control of autonomous underwater vehicles. You
-
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