Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- ; The University of Edinburgh
- DAAD
- Cranfield University
- National Research Council Canada
- Nature Careers
- SciLifeLab
- ;
- ; Loughborough University
- Fraunhofer-Gesellschaft
- RPTU University of Kaiserslautern-Landau •
- Technical University of Denmark
- ; Swansea University
- ; University of Bristol
- ; University of Greenwich
- Chalmers University of Technology
- Colorado State University
- Ghent University
- Hannover Medical School •
- Leibniz
- Ludwig-Maximilians-Universität München •
- Lulea University of Technology
- Ryerson University
- Texas A&M University
- University of Alaska
- University of Liverpool
- University of Southern Denmark
- University of Twente
- 17 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
-
can include, but is not limited to, criminal history, sex offender registry, motor vehicle history, financial history, and/or education verification. Background checks will also be conducted when
-
, 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
-
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
-
, 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
-
for SSM-SNN cores Integrate RISC-V processors using SoC flows Perform full-chip simulation, verification, and prototyping Publish and present research in high-impact venues Qualifications Applicants should
-
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