Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other departmental duties
-
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
-
different policies on market outcomes, such as EV subsidies, domestic content requirements, trade policies, amongst others. Recent PhD in Economics (or related discipline) with a clear interest in mining and
-
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
-
The successful applicant will be required to provide the following current verification(s) where 'Yes' is indicated below. Further information is available at: https://careers.usask.ca/tips-for-applying.php
-
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
-
the field, with a strong track record of internationally competitive research in line with expectations for the respective career stage. PhD in Computer Science, Mathematics, or Engineering Research expertise