Embedded Systems Engineer

Mission Technologies, a division of HII; Roanoke (VA); On-site; USD 90,000 - 190,000; Full time

Benefits offered by this job

Medical/dental/vision plans

401(k) Savings plan

Paid holidays and PTO

Tuition reimbursement

Job summary

Mission Technologies, a division of HII, is seeking engineers to dissect complex digital systems, verify gate-level netlists, and uncover hidden behaviors through robust models and test benches.

The role requires experience in SystemVerilog/SystemC, C/C++, and full verification toolchains; top-secret clearance is preferred and citizenship is required. Salary spans multiple levels with comprehensive benefits. Woodbine Roanoke area preferred.

Qualifications

• Degree in Electrical, Computer Engineering, Computer Science, or related field.
• 2+ years experience for Level 2 with Bachelor; 9+ years for Level 4 with Bachelor, etc.
• Experience with modern digital verification and modeling languages: SystemVerilog, SystemC, C/C++, Matlab.
• Directed, constrained-random, and assertion-based verification techniques.
• Experience with commercial digital simulators (Xcelium, Incisive, Questa, VCS, Riviera-Pro).
• Scripting for batch tasks: Python, Bash, Tcl, make.
• Version control: Perforce, git, SVN.
• Familiarity with gate-level netlists debugging.

Responsibilities

• Develop models, transactors, stimuli, monitors, and test benches for simulating and uncovering hidden behaviors.
• Produce clear documentation and test cases to demonstrate bugs or deviations from spec.
• Collaborate with teammates to deliver cohesive results and improve processes.

Skills

SystemVerilog

SystemC

C/C++

Matlab

Python

Bash

Tcl

Perforce

Git

SVN

gate-level verification

debugging netlists

Education

Electrical Engineering

Computer Engineering

Computer Science

Tools

Xcelium

Incisive

Questa

VCS

Riviera-Pro

OneSpin 360-EC

Job description

Job Description

Are you driven by curiosity, energized by complex challenges, and motivated to dissect the unknown? Join a cutting‑edge team where your expertise directly shapes mission outcomes and national security. We’re looking for engineers who excel at uncovering how systems work (and why), thrive in an environment where innovation moves fast and the stakes are high.

Salary: Level 2: $90,000–$95,000; Level 3: $120,000–$130,000; Level 4: $160,000–$175,000; Level 5: $185,000–$190,000.

Responsibilities

• Candidates will develop models, transactors, stimuli, monitors, and test benches for simulating and uncovering hidden behaviors in gate-level digital netlists.
• Produce clear documentation and test cases to demonstrate identified bugs or deviations from the specification.
• Collaborate effectively with teammates to produce cohesive results and create improved processes.

Minimum Qualifications

• Level Requirements: Level 2: 2 years relevant experience with a Bachelors in a related field; 0 years with a Masters; or a High School Diploma or equivalent and 6 years relevant experience. Level 3: 5 years relevant experience with a Bachelors; 3 years relevant experience with a Masters; 0 years with a PhD or JD; or a High School Diploma or equivalent and 9 years relevant experience. Level 4: 9 years relevant experience with a Bachelors; 7 years relevant experience with a Masters; 4 years relevant experience with a PhD or JD; or a High School Diploma or equivalent and 13 years relevant experience. Level 5: 15 years relevant experience with a Bachelors; 13 years relevant experience with a Masters; 10 years relevant experience with a PhD or JD; or a High School Diploma or equivalent and 19 years relevant experience.
• US Citizenship.
• Willingness to obtain a Top‑Secret security clearance.
• Degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field.
• Experience with modern digital verification and modeling languages: SystemVerilog, SystemC, C/C++, Matlab, etc.
• Directed, constrained‑random, and assertion‑based verification techniques at the gate, interface, and transaction levels.
• Experience with modern, commercial‑grade functional simulators (e.g., Xcelium, Incisive, Questa, VCS, Riviera‑Pro, etc.).
• Writing scripts for batched verification tasks: Python, Bash, Tcl, make files.
• Revision control systems for maintaining, sharing, and deploying code: Perforce, git, SVN, etc.
• Familiarity with debugging and isolating issues with gate‑level netlists.

Preferred Requirements

• Familiarity with object‑oriented, embedded, assembly, or machine code programming.
• Software or hardware reverse‑engineering (e.g., IDA Pro, Ghidra).
• FPGA design or verification.
• Active Top Secret security clearance.
• Familiarity with testing and verification techniques for IC trust, assurance, or security.
• Experience with logical equivalence checkers (e.g., OneSpin 360‑EC, ESP, Conformal EC).
• Experience with formal ABV.

Benefits

• Best‑in‑class medical, dental, and vision plan choices.
• Wellness resources.
• Employee assistance programs.
• Savings plan options (401(k)).
• Financial planning tools.
• Life insurance.
• Employee discounts.
• Paid holidays and paid time off.
• Tuition reimbursement.
• Early childhood and post‑secondary education scholarships.
• Bonus/other non‑recurrent compensation occasionally offered for qualified positions.

All qualified applicants will receive consideration for employment without regard to race, color, religion, gender, gender identity or expression, sexual orientation, national origin, physical or mental disability, age, or veteran status or any other basis protected by federal, state, or local law.