Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered, and
-
proximity operations in collaboration with Redwire Space Luxembourg. The candidate will carry a leading role in this area and support PhD candidates in their thesis research. The candidate will work closely
-
The students will be enrolled in the structured PhD programme in Computer Science at Sapienza University of Rome, Italy: https://www.uniroma1.it/en/offerta-formativa/dottorato/2025/computer-science About the
-
Bajcsy, PhD Information Technology Laboratory (ITL) National Institute of Standards and Technologies (NIST) Phone: 301-975-2958 Email: peter.bajcsy@nist.gov URL: https://www.nist.gov/people/peter-bajcsy
-
transition that not only enhances the productivity of engineering teams but also expands the complexity of solvable design problems. We have two exciting PhD positions at the intersection of formal software
-
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
-
Field Engineering » Communication engineering Engineering » Computer engineering Engineering » Electronic engineering Researcher Profile First Stage Researcher (R1) Positions PhD Positions Application
-
and cyber-physical software; Runtime verification of cyber-physical and autonomous systems; Target applications may include autonomous systems, collision avoidance, mission and plan monitoring
-
logic, formal descriptions, software engineering, and programming. This PhD project focuses on developing a model-based and knowledge-driven framework for the analysis of complex manufacturing and