Overview

We are seeking an experienced Firmware Engineer to join our team building hardware prototypes and advancing our next-generation transpilation tools. By leveraging AI and advanced verification techniques, we aim to bridge the gap between algorithm development and deployment on embedded systems.

In this role, you will take the lead on firmware development for hardware prototypes. You will also provide support and expertise to the team responsible for implementing innovative code generation pipelines, which utilize a combination of generative AI, static analysis, and formal verification methods to translate code across programming languages.

Responsibilities

• Lead Firmware Development: Drive the design, development, and testing of firmware for hardware prototypes, ensuring reliability and performance in embedded environments.
  
• Hardware Prototyping: Collaborate closely with hardware teams to integrate firmware with new and evolving hardware designs.
  
• Support Code Generation Pipelines:Provide technical support and domain expertise to the teams developing innovative code generation pipelines powered by AI, static analysis, and formal verification.
  
• Cross-Functional Collaboration:Work with software engineering, research, and product teams to ensure the transpilation pipeline can generate high-quality firmware that integrates seamlessly with hardware prototypes and higher-level systems.
  
• Documentation and Best Practices: Create and maintain thorough documentation, while promoting best practices in firmware development, testing, and deployment.

Requirements

Must Haves

• Seven or more years of experience developing and delivering production-quality firmware for embedded systems, ideally using C or C++.
  
• Demonstrated experience working collaboratively in multi-disciplinary teams, including hardware, software, and research specialists.
  
• Proven ability to gather requirements from stakeholders and translate them into robust firmware designs and project plans.
  
• History of delivering reliable firmware by following best practices in embedded software development: code review, hardware-in-the-loop testing, continuous integration, and release management.
  

Great to Haves

• Experience with embedded Linux or real-time operating systems (RTOS).
  
• Familiarity with hardware description languages (HDLs), digital signal processing (DSP) chips, and system-on-chip (SoC) development.
  
• Exposure to advanced software verification techniques such as fuzz testing or formal methods.
  
• Experience using Rust for embedded development.

Benefits

• Health Care Plan (Medical, Dental & Vision).
  
• 401k with 5% matching.
• Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays).
• Flexible hybrid work arrangement.
• Relocation assistance for qualifying employees.