R&D Digital Systems Security Engineer - Remote Opportunity

About the Role

Join Sandia National Laboratories as an R&D Digital Systems Security Engineer in this exciting remote opportunity. This role is pivotal in designing and securing high-consequence digital systems of national importance. As an R&D Digital Systems Security Engineer, you will explore novel hardware and software security architectures while applying rigorous formal and experimental techniques to ensure system correctness and resilience. Your contributions will enhance security analysis, verification, and risk discovery through emerging technologies such as artificial intelligence (AI).

What You'll Do

• Lead and conduct security assessments, red-teaming exercises, and technical evaluations to discover and mitigate vulnerability risks.
• Architect, design, and validate security implementations of digital systems.
• Develop workflows that automate cyber risk discovery, generate proof obligations, and support rigorous verification processes to improve trusted and assured operation of systems in relevant mission environments.
• Explore and integrate emerging technologies, including AI, design automation tools, and analysis frameworks to enhance security analysis and performance.
• Conduct hands-on experimentation and prototyping using simulation and emulation platforms to validate security concepts.
• Serve as a subject matter expert for modernization, stockpile, and national security programs.
• Contribute to the development and refinement of security policies, standards, and best practices.
• Mentor and collaborate across centers to foster a mission-driven culture of innovation and technical excellence.

Requirements

• A Bachelor's degree in a relevant discipline and five (5) years of directly relevant experience, or an equivalent combination of education and experience.
• Ability to obtain and maintain a DOE Q-level security clearance.
• Experience in reverse engineering, software vulnerability assessment, and computer networking.
• Proficiency in scripting or high-level programming languages such as Python, Java, or Rust.
• Familiarity with secure-system design principles and information assurance principles.
• Excellent communication skills with the ability to present technical ideas clearly.
• Experience in hardware/software security architecture and secure coding practices.
• Hands-on experience with experimental validation and prototyping platforms.

Nice to Have

• Graduate degree in Computer Science, Electrical Engineering, or related field.
• Experience with formal methods and theorem proving tools for security verification.
• Knowledge of security requirements, standards, and assurance frameworks (e.g., NIST).
• Demonstrated leadership in project management and effective collaboration.

What We Offer

• Competitive salary ranging from $139,900 to $280,600 based on experience.
• Flexible work arrangements including remote work options.
• Generous vacation and strong medical benefits.
• Relocation assistance and comprehensive packages for new hires.
• Opportunities for career advancement and professional development.
• A collaborative and innovative work environment.
• World-changing technologies and life-changing careers.