formal-validation jobs in San Diego

Senior Software/Firmware Systems Engineer and Architect will design, architect, and lead complex real-time embedded and mission-critical systems for space, missile defense, and high-reliability platforms. Responsibilities include defining system architecture and requirements, leading cross-functional teams through design and test reviews, integrating software/firmware payloads, and ensuring consistency across digital engineering artifacts.…See more The role requires 7–12+ years of embedded systems experience with expertise in microcontrollers, FPGAs, communication protocols (RS-422, I²C, GigE, SPI, TCP/UDP, MQTT, Modbus), and formal verification/validation processes; strong technical leadership and customer-facing communication skills are essential.

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.…See more Responsibilities include systems engineering artifact management, anomaly root-cause analysis, customer interface, technical documentation, and program lifecycle coordination in a TS/SCI environment.