Digital Verification Engineer - Weapon Subsystems 2

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 vacation, strong medical and other benefits, competitive 401k, learning opportunities, relocation assistance and amenities aimed at creating a solid work/life balance*

World-changing technologies. Life-changing careers. Learn more about Sandia at: http://www.sandia.gov

*These benefits vary by job classification.

Sandia National Laboratories is seeking a Digital Verification Engineer (R&D Electrical Engineer) with expertise in formal verification tools to ensure the correct functionality of ASIC and FPGA designs. The ideal candidate will have hands-on experience with VHDL and Verilog design languages and be proficient in using SystemVerilog Assertions (SVA) within formal verification environments.

Success in this role requires a strong foundation in digital design principles, a detail-oriented and logical approach to problem-solving, and excellent written communication skills.

As a Digital Verification Engineer, you will:

• Translate digital design requirements at various development stages into precise, unambiguous checks against the implementation.
• Adapt diverse requirementsincluding functionality, safety, and information protectioninto SystemVerilog Assertions (SVA) for verification.
• Evaluate trade-offs in formal analysis complexity to ensure verification tasks remain tractable and efficient.
• Collaborate closely with designers, system engineers, and other verification specialists to deploy systems that are verifiably correct.
• Produce clear, concise, and well-documented archival reports detailing verification activities and results.
• Present verification findings at technical reviews to peers and customers.
• Continuously learn and apply new formal verification techniques and methodologies.

While this position is ideally based on-site in California or New Mexico with hybrid flexibility, remote work from any U.S. State may be considered. Candidates working remotely must be able to travel to the California site approximately once per month to support mission needs.

Applicants on this requisition may be interviewed by multiple organizations at Sandia National Laboratories.

$121,900 - $237,800

*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.

• A Bachelor's degree in a relevant discipline, or an equivalent combination of directly relevant education and engineering or scientific experience that demonstrates the knowledge, skills, and ability to perform independent research and development.
• Ability to obtain and maintain a DOE Q-level security clearance.
  

The ideal R&D S&E Electrical Engineer candidate for Sandia National Laboratories will in addition possess the following:

• Graduate degree in Electrical Engineering or a highly related field where an independent research project was a graduation requirement (e.g., independent project, thesis, or dissertation).
• Ability to work independently and collaborate well in a multidisciplinary team of designers and test engineers.
• Outstanding verbal and written skills, including the ability to develop and present briefings that are clear and compelling.

Also, for this posting we are seeking individuals with the following experience:

• Several years of experience applying formal verification techniques to FPGA or ASIC designs.
• Proficiency with VHDL, Verilog, and SystemVerilog Assertions (SVA).
• Strong analytical skills with meticulous attention to detail in both technical work and documentation.
  

Department 8421 designs, tests, and deploys advanced electronic systems for various national security applications. The department has a broad mix of skills and technical resources in areas such as digital communications, sensors, radio frequency (RF)/microwave, field-programmable gate array (FPGA) design, power supply technology, general electronics-circuit design, digital signal processing (DSP) algorithms and coding, mechanical design and analysis, and systems engineering.

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

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.

If you have a Medical Portable Electronic Device (MedPED), such as a pacemaker, defibrillator, drug-releasing pump, hearing aids, or diagnostic equipment and other equipment for measuring, monitoring, and recording body functions such as heartbeat and brain waves, if employed by Sandia National Laboratories you may be required to comply with NNSA security requirements for MedPEDs.

If you have a MedPED and you are selected for an on-site interview at Sandia National Laboratories, there may be additional steps necessary to ensure compliance with NNSA security requirements prior to the interview date.

This Limited Term Employee (LTE) position is a temporary position for one year term, which may be renewed at Sandia's discretion up to a maximum of seven years.

Individuals in LTE positions may bid on regular Sandia positions as internal candidates, and in some cases may be converted to regular career positions during their term if warranted by ongoing operational needs, continuing availability of funds, and satisfactory job performance.