Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- DAAD
- SciLifeLab
- Cranfield University
- Nature Careers
- Technical University of Denmark
- ;
- ; Loughborough University
- ; The University of Edinburgh
- Chalmers University of Technology
- Fraunhofer-Gesellschaft
- National Research Council Canada
- ; Swansea University
- ; The University of Manchester
- ; University of Bristol
- ; University of Greenwich
- Aalborg University
- 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 VIENNA
- University of Alaska
- University of Groningen
- University of Liverpool
- University of Lund
- University of Twente
- University of Vienna
- 21 more »
- « less
-
Field
-
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
-
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
-
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
-
, 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
-
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
-
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