-
: https://www.nist.gov/people/peter-bajcsy Keywords imaging; image analyses; machine learning; software engineering Eligibility citizenship Open to U.S. citizens level Open to Postdoctoral applicants
-
vulnerability classifications and formal verification, enabling developers to reason about hardware and software vulnerability and weakness properties in a structured, mathematically rigorous way. The
Enter an email to receive alerts for software-verification "https:" positions