Sandia National Laboratories seeks a Computer Science researcher (R&D Cybersecurity) with expertise in formal methods to join our Digital Foundations & Mathematics group. The role focuses on developing formal verification for hardware and embedded software, publishing results, and collaborating across disciplines to tackle national security challenges.
The candidate will work on building and applying formal methods tools, contributing to analysis, synthesis, and high-performance computing
#J-18808-Ljbffr