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
-
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
-
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
-
research in one or more of the respective research areas. The PhD project will be defined in collaboration between the supervisors and the candidate at the start project. For more information see: http
-
and scientific exploitation of state-of-the-art, ground-based gamma-ray telescopes. As a key member of the MAGIC and CTAO-LST collaborations, the group develops critical hardware, software, and data
-
and cyber-physical software; Runtime verification of cyber-physical and autonomous systems; Target applications may include autonomous systems, collision avoidance, mission and plan monitoring
-
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
-
research excellence. This position is ideal for applicants interested in logic, formal descriptions, software engineering, and programming. This PhD project focuses on developing a model-based and knowledge
-
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