Senior Compute System Software Engineer

Responsibilities

• You will be involved in the definition, architectural design and analysis, and development of groundbreaking functional safety software, with an opportunity to shape the future of parallel computation on GPUs as well as DLA and other engines.
• Bootstrap initiatives in defining and laying down the company wide process for formal verification.
• Inculcate a culture of high quality software development in the team, mentor other engineers
• What we need to see
• BS/MS/PhD degree in Computer Science or related field or equivalent experience
• Passionate about high quality software engineering, and a desire to contribute towards creating better software
• Deep understanding of computer architecture, OS fundamentals
• Solid background in formal verification methodologies, functional programming
• Hands on experience with LEAN4, TLA+, Haskell, Coq/Rocq or related paradigms
• 12+ years of proven experience in complex software development, design, and analysis

Languages