Sandia National Laboratories in Livermore, CA seeks a Computer Science researcher (R&D Cybersecurity) expert in formal methods to advance automated verification of hardware and software for national security projects. The role involves innovative research, collaboration with multidisciplinary teams, and developing verification capabilities with domain-specific languages, model checkers, and symbolic execution.
On-site work is required.
#J-18808-Ljbffr