formal-verification jobs in San Diego

Lead ASIC implementation for Amazon Leo's satellite communication chips, owning the digital SOC design flow from RTL through physical design sign-off. Develop chip power intent using UPF, set up synthesis and place-and-route flows for deep sub-micron nodes, validate timing and design closure, and coordinate with RFIC and P&R teams to ensure production-ready tapeouts.…See more Requires 8+ years of ASIC implementation experience including synthesis, STA, and multi-power-domain design on 16nm or smaller technology nodes.

Lead embedded software and firmware development for Amazon's satellite RF systems, designing and implementing ASIC firmware, command systems, telemetry processing, and autonomous capabilities. Write robust software in Linux and RTOS environments, build hardware interfaces using protocols like I2C, SPI, UART, and Ethernet, and drive security architecture through threat modeling and secure coding practices.…See more Collaborate with hardware design teams to bring custom silicon from concept through secure bring-up and integration, optimizing for space-grade reliability and production testing.

Design and optimize Network-on-Chip (NoC) architectures for high-performance Qualcomm SoCs with focus on physical implementation and PPA (power, performance, area) goals. Responsibilities include floorplan-driven architecture design, physical-aware synthesis strategies, clock tree planning, power analysis, timing closure, and custom placement/routing techniques.…See more Requires deep expertise in ASIC physical design, NoC protocols (AMBA, cache coherency), and scripting in Python, Perl, TCL, and C to analyze and optimize latency, area, performance, and power metrics.

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.

Design, develop, integrate, and test VHDL-based digital designs for software-defined radio applications, working with FPGA programming tools and multi-disciplinary teams. Analyze system requirements and design documents to resolve functional, performance, and timing issues in firmware codebases.…See more Requires hands-on experience in VHDL design, knowledge of communication protocols (I2C, SPI, UART, PCIe, Ethernet), and familiarity with EDA tools and FPGA device families. Must hold or be able to obtain an active Secret clearance.

Staff Engineer role focused on CPU design, RTL development, and physical design for next-generation high-performance, low-power SoCs. Responsibilities span microarchitecture definition, Verilog/SystemVerilog RTL coding, synthesis, physical implementation (floorplanning, placement, routing, timing closure), and PPA optimization.…See more Will collaborate across architecture, verification, DFT, and post-silicon teams, and develop automation scripts in Python, Tcl, Perl, or Shell. Requires 4–10 years in ASIC/SoC, CPU, RTL, or physical design, strong digital design fundamentals, and hands-on experience with CPU microarchitecture and design closure flows.

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.