Sandia National Laboratories seeks a Computer Science researcher (R&D Cybersecurity) expert in formal methods to advance automated verification of hardware and software. You will contribute to exploring model checking, symbolic execution, and formal specifications within a multidisciplinary team on national-security projects.
The role emphasizes publishing results, collaboration, and developing novel verification tools, with on-site work required in a high‑security environment.
#J-18808-LjbffrOnsite Formal Methods Cybersecurity Researcher in northern at Unknown Company
This position is listed as full time and onsite.