Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Economics
- Medical Sciences
- Computer Science
- Business
- Engineering
- Materials Science
- Biology
- Education
- Science
- Arts and Literature
- Law
- Social Sciences
- Psychology
- Humanities
- Mathematics
- Sports and Recreation
- Design
- Chemistry
- Philosophy
- Electrical Engineering
- Linguistics
- Environment
- Physics
- Earth Sciences
- 14 more »
- « less
-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
upstream activities, such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, primarily software testing and analysis. For further
-
and cyber-physical software; Runtime verification of cyber-physical and autonomous systems; Target applications may include autonomous systems, collision avoidance, mission and plan monitoring
-
] FDA General Principles of Software Validation for Medical devices . [6] PlaTFoRm Project, https://www.fortiss.org/en/research/projects/detail/platform . Number Of Awards 1 Start Date 1 October 2026
-
Arrowhead flexible Production Value Network (Arrowhead fPVN), Grant agreement no. 101111977 (and the partially cofunded by UEFISCDI via the contract no. 7/2024, project code PN-IV-P8-8.1-PME-2024-0011, https
-
Max Planck Institute for Gravitational Physics (Hanover), Hannover | Hannover, Niedersachsen | Germany | about 2 hours ago
, and test reports. Collaborate with system engineering, electronics, software teams, and external partners. Support integration and verification campaigns at AEI and partner facilities. Ensure compliance
-
supervisor's instructions and/or manual. Assists in university records management activities. May input data on holdings into computer. May train others in operation of digital imaging equipment and software
-
verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability
-
software systems, carrying out both upstream activities, such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, primarily software
-
of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in