Sandia National Laboratories is seeking an experienced R&D Cybersecurity researcher with expertise in formal methods to verify hardware and embedded software systems. The role emphasizes collaboration, publishing results, and applying automated tools to improve verification workflows.
You will work onsite in a multidisciplinary team, developing verification capabilities and exploring AI-assisted model construction while addressing national security needs and high-assurance requirements.
#J-18808-LjbffrSenior R&D Cybersecurity: Formal Verification Researcher (Onsite) in livermore at Unknown Company
This position is listed as full time and onsite.