-
involves conducting research at the intersection of program analysis and formal verification toward developing trustworthy tools for reasoning about safety and security properties. Opportunities exist
-
Job Description The Mission Systems Division of the Virginia Tech National Security Institute invites applications for a postdoctoral associate position in Hypersonic Aerodynamics. The successful
Enter an email to receive alerts for computer-security-phd-student "https:" positions