Senior System Software Engineer - Halos Core and Robotics Platform
Tasks
- Apply formal methods for high integrity software
- Architect system software for Halos OS
- Design I O virtualization solutions
- Develop BSP boot driver and device management software
- Develop safe and secure software
- Implement debugging tracing logging and performance analysis
- Optimize next generation platform bring up
- Use AI assisted engineering tools for development
Perks/Benefits
Skills/Tech-stack
ADA | ARM | ARMv8 | BSP | Bootloader | C# | DFA | Device Drivers | Diagnostics | FMEA | Formal Methods | Hypervisor | I/O | I/O virtualization | ISO 21434 | ISO 26262 | Linux | QNX | RTOS | Spark | TLA+ | Threat modeling | Virtualization
Education
Regions
Countries
States
Related jobs
-
Senior Software Engineer, Deep Learning - MLIR TRT USD 184K-287KC# | C++ | CUDA | Computer Vision | Deep learningSenior-level Full TimeUS, CA, Santa Clara1d ago
-
C# | C++ | DRAM | Distributed Systems | GPUSenior-level Full TimeUS, CA, Santa Clara R1d ago
-
Senior Deep Learning Frameworks Sustaining Engineer USD 152K-218KBazel | C# | C++ | CI/CD | CUDAEquity | Health insurance | Paid time offSenior-level Full TimeUS, CA, Santa Clara1d ago
-
BIOS | BMC | Bash | C# | C++Senior-level Full TimeUS, CA, Santa Clara2d ago
-
Artificial Intelligence | C# | C++ | CUDA | Computer ArchitectureSenior-level Full TimeUS, CA, Santa Clara2d ago
-
ADA | ARM | ARMv8 | BSP | Bring-upBenefits | EquitySenior-level Full TimeUS, CA, Santa Clara3d ago
-
C++ | CUDA | Containerization | Distributed Systems | DockerSenior-level Full TimeUS, CA, Santa Clara R4d ago
-
Performance Engineer, Deep Learning and HPC USD 116K-189KAWS | Amber | Azure | Compilers | Data AnalysisSenior-level Full TimeUS, CA, Santa Clara5d ago
-
Embedded Software Engineer - RISCV USD 184K-287KC# | Computer Architecture | DMA | Device Drivers | Embedded LinuxEquity | Health benefitsSenior-level Full TimeUS, CA, Santa Clara5d ago
-
ADA | ARM | ARMv8 | BSP | C#Senior-level Full TimeUS, CA, Santa Clara5d ago
-
Senior Software Engineer, AI Storage USD 184K-287KAlgorithms | Bash | C# | C++ | CUDABenefits | EquitySenior-level Full TimeUS, CA, Santa Clara R5d ago
-
Bash | Bootstrap | CSI | CSS3 | Container StorageSenior-level Full TimeUS, CA, Santa Clara R6d ago
-
ARM Cortex | ARM Cortex-M | BMC | BMC firmware | BashSenior-level Full TimeUS, CA, Santa Clara7d ago
-
Senior Storage Production Engineer - DGX Cloud USD 176K-333KAccess Control | Alerting | Ansible | Auditing | BackupBenefits | Equity | On-call rotation supportSenior-level Full TimeUS, CA, Santa Clara R8d ago
-
Senior Hardware Applications Engineer, Data Center USD 136K-218KAI workloads | ARM architecture | BMC | Electrical Engineering | GPU InterconnectEquity | Health benefitsSenior-level Full TimeUS, CA, Santa Clara9d ago
-
Senior-level Full TimeUS, CA, Santa Clara R11d ago
-
Actuator integration | C# | C++ | Computer Vision | Control SystemsSenior-level Full TimeSanta Clara15d ago