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
-
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
-
strong commitment to research excellence. This position is ideal for applicants interested in logic, formal descriptions, software engineering, and programming. This PhD project focuses on developing a
-
of more of the following is desired: software engineering and systems design, formal methods, verification, and/or modelling, design and techniques for resilient and reliable systems (e.g. decentralised
-
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
-
and cyber-physical software; Runtime verification of cyber-physical and autonomous systems; Target applications may include autonomous systems, collision avoidance, mission and plan monitoring
-
Austrian Academy of Sciences, The Marietta Blau Institute of Particle Physics (MBI) | Austria | 5 days ago
, MBI is offering a postdoc position for an initial period of three years, located in Vienna. Your Tasks Design of the electronics for the ALICE Outer Tracker readout system Verification and
-
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