R&D Cybersecurity, Formal Verification Analyst (Experienced)

This posting will be open for application submissions for a minimum of seven (7) calendar days, including the ‘posting date’. Sandia reserves the right to extend the posting date at any time.

• Salary range is estimated, and actual salary will be determined after consideration of the selected candidate¿s experience and qualifications, and application of any approved geographic salary differential.

We are seeking a Cybersecurity, Formal Verification Analyst (R&D Cybersecurity) to help lead our technical efforts to support verification analysis of hardware and software systems for multiple ND and defense program efforts! The ideal candidate will have a systems engineering background and a multidisciplinary perspective with experience in formal methods capabilities and a passion for formal verification assessment work. This role works in multidisciplinary teams alongside formal methods experts who are building innovative verification toolchains to support our assessments. Collaboration with these multidisciplinary teams based in both Livermore and Albuquerque is essential to successfully realizing our objectives, so some travel will be required.

On any given day, you may contribute to and lead activities in one or more of the following:

• Develop executable specifications that capture system requirements for a software formal verification assessment analysis using tools like Simulink and Stateflow
• Employ Sandia’s formal verification workflow tools to perform formal analysis of abstract representations using the NuSMV symbolic model checker and analysis of C code implementations using the Frama-C static code analysis tool
• Collaborate within a multi-disciplinary team to solve challenging digital assurance problems with national security impact

• Bachelor's and PhD degrees in Electrical engineering, Computer Science, or a related STEM discipline; or a Bachelor's and Master’s degrees in Electrical engineering, Computer Science, or a related STEM discipline plus at least four years’ relevant experience
• Evidence of experience using formal verification toolchains and applications with a systems requirements perspective
• Ability to obtain and maintain a U.S. DOE Q security clearance

• Familiarity with logical systems requirements, equivalence checking, symbolic execution, and discrete-event simulation
• Proficiency with high-performance computing platforms
• A background in solving practical problems in science and engineering that involve real-world data

Our department (Digital Foundations & Mathematics) develops and maintains multiple technical capabilities. We develop and apply tools for the formal verification of digital systems, for electrical modeling and simulation analyses, and we develop computing accelerators for extreme environments. We are always interested in candidates with cross-disciplinary skills who can contribute to one or more of our programs. The formal verification activities include formal methods analysis of hardware and software; modeling and simulation of digital or software systems; synthesis of hardware (digital logic) or software to meet formal specifications; binary analysis (developing a custom lifter capability); and development of specialized software applying advanced mathematics to meet customer needs. The electrical modeling and simulation work includes printed circuit board level analysis of new systems in extreme environments, development of new capabilities in Sandia's internal PSPICE solver Xyce, and support for the Sandia device modelling teams. Our work on computing accelerators includes both modeling and designing novel fault tolerant architectures and new analog neuromorphic in-memory computing accelerators. Our department consists mostly of researchers with backgrounds in computer science, analysis of programming languages and domain specific languages, high-performance computing, physics, electrical engineering, electrical circuit modeling & simulation & analysis, and neuromorphic computing architectures. We collaborate and team closely with organizations across Sandia and a broad spectrum of external partners.

Sandia National Laboratories is the nation’s premier science and engineering lab for national security and technology innovation, with teams of specialists focused on cutting-edge work in a broad array of areas. Some of the main reasons we love our jobs:

• Challenging work with amazing impact that contributes to security, peace, and freedom worldwide
• Extraordinary co-workers
• Some of the best tools, equipment, and research facilities in the world
• Career advancement and enrichment opportunities
• Flexible work arrangements for many positions include 9/80 (work 80 hours every two weeks, with every other Friday off) and 4/10 (work 4 ten-hour days each week) compressed workweeks, part-time work, and telecommuting (a mix of onsite work and working from home)
• Generous vacations, strong medical and other benefits, competitive 401k, learning opportunities, relocation assistance and amenities aimed at creating a solid work/life balance*

Sandia is required by DOE to conduct a pre-employment drug test and background review that includes checks of personal references, credit, law enforcement records, and employment/education verifications. Applicants for employment need to be able to obtain and maintain a DOE Q-level security clearance, which requires U.S. citizenship. If you hold more than one citizenship (i.e., of the U.S. and another country), your ability to obtain a security clearance may be impacted.

Applicants offered employment with Sandia are subject to a federal background investigation to meet the requirements for access to classified information or matter if the duties of the position require a DOE security clearance. Substance abuse or illegal drug use, falsification of information, criminal activity, serious misconduct or other indicators of untrustworthiness can cause a clearance to be denied or terminated by DOE, resulting in the inability to perform the duties assigned and subsequent termination of employment.

All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability, or veteran status and any other protected class under state or federal law.