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
- Psychology
- Law
- Social Sciences
- Humanities
- Mathematics
- Sports and Recreation
- Design
- Chemistry
- Electrical Engineering
- Environment
- Philosophy
- Linguistics
- Physics
- Earth Sciences
- 14 more »
- « less
-
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
-
] 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
-
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
-
and cyber-physical software; Runtime verification of cyber-physical and autonomous systems; Target applications may include autonomous systems, collision avoidance, mission and plan monitoring
-
California State University, Long Beach | Long Beach, California | United States | about 14 hours ago
, Computer Engineering or a closely related field. Areas of expertise may include, but not limited to, software design and architecture, software testing and verification, software project management, 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
-
Summary Install, implement, configure, recommend, and maintain database management systems and associated database connectivity software in Information Technology Services. These include Oracle and
-
complexity to higher education system employees. This position assists users in successfully utilizing their hardware and software workstations including troubleshooting operating systems, desktop applications
-
You are encouraged to visit the ESA website: http://www.esa.int Field(s) of activity/research for the traineeship You will contribute to ESA’s introduction of Software Defined Spacecrafts
-
forms of identification for employment verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9