What Your Job Will Be LikeSandia 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 requirements¿including functionality, safety, and information protection¿into 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.
Salary Range$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.
Qualifications We Require- 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.
Qualifications We DesireThe 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.
About Our TeamDepartment 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.
Posting DurationThis 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.
Position InformationThis 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.
