13 software-verification Postdoctoral positions at Oak Ridge National Laboratory in computer-science
-
Confidential Computing and Secure Multi-tenancy. The candidate will be able to make research contributions in areas of system software architectures to support secure computing enclaves on large scale HPC and
-
. All employees must also be able to obtain and maintain a federal Personal Identity Verification (PIV) card as mandated by Homeland Security Presidential Directive 12 (HSPD-12) and Department of Energy
-
Science group addresses this mission through the development of quantum computational methods and software for diverse scientific applications. Major Duties/Responsibilities: Conduct research in
Searches related to software verification
Enter an email to receive alerts for software-verification positions in computer-science