- Tampa, Florida, United States
- On-site
- Full-time · Senior
- 5+ years
Design, develop, and maintain embedded software primarily in C and Rust for cryptographic and security-critical platforms; architect cryptographic information assurance software and systems; support NSA High Assurance certification process.
Compensation
Annual Bonus - Annual Bonus – Performance Related
Responsibilities
- Design, develop, and maintain embedded software primarily in C and Rust for cryptographic and security-critical platforms
- Architect cryptographic information assurance software and systems, including definition of security boundaries, trusted services, and separation of crypto and non-crypto functions
- Perform trade studies and embedded architecture design, with emphasis on memory-safe designs and C-to-Rust transitions
- Actively support the NSA High Assurance certification process, including requirements decomposition and traceability
- Develop and maintain formal engineering documentation: Software & Hardware Requirements, Interface Control Documents, Software/Hardware Design Descriptions
Requirements
- Bachelor’s degree in computer science, computer engineering, software engineering, or equivalent experience
- Nice to have: 8+ years of embedded or firmware development experience
- Nice to have: Experience with Rust in constrained embedded environments (no-std, heapless, HAL)
- Nice to have: Direct experience with NSA High Assurance certification, RMF, or similar DoD security frameworks