← Back to results

formal-verification jobs in San Diego

$116,480 – $208,505 · Posted 1 day ago

Senior Software/Firmware Systems Engineer and Architect at General Atomics responsible for architecting real-time embedded and mission-critical firmware systems, leading complex engineering projects through design reviews and integration testing. The role requires 7+ years of experience (with PhD) architecting software/firmware for microcontroller and FPGA-based systems, with deep knowledge of communication protocols, formal verification/validation, and cross-functional collaboration. Responsibilities include systems engineering artifact management, anomaly root-cause analysis, customer interface, technical documentation, and program lifecycle coordination in a TS/SCI environment.

San DiegoLast seen today