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
-
fulfilled all requirements for the award of a PhD or equivalent qualification in a relevant field by the date of employment. Desired Qualifications: Mandatory (M), recommended®, and ideal-but-not-necessary (I
-
Scheduled Hours 40 Position Summary There is a research opportunity in the laboratory of Yunshuo “Caroline” Tang, MD, PhD, Assistant Professor of Neurology and Ophthalmology, and member of the WashU
-
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
-
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