• Design, develop, and maintain features for audiometry testing modules and web services • Build WPF-based user interfaces (MVVM) and Blazor Server components • Develop and enhance REST APIs • Work closely with Product Owners to analyze requirements and provide technical solutions • Collaborate with hardware and firmware teams to ensure software-hardware alignment • Write comprehensive unit tests with high coverage (≥80% for new code) and documentation • Ensure product architecture and code quality meet high standards • Perform code reviews focusing on safety, correctness, and compliance • Solve complex, technically challenging problems within the products

• Day-to-day technical leadership across multiple engineering squads (backend, frontend, AI/ML, data) plus QA and DevOps • Engineering quality, code review standards, and technical debt management on a modern AWS serverless stack (Lambda, Python/FastAPI, Angular/TypeScript) • Architectural coherence across squads, flagging strategic changes to the CIO • Sprint-level delivery planning, estimation, and cross-squad dependency management • Being the primary technical contact for senior client stakeholders — translating delivery status and technical risk into business terms • Supporting hiring and technical growth of the team as it scales over the next 12–18 months

• You will play a key role in building and developing the Mindly product. • Deeply understand user needs and their most pressing problems. • Shape and evaluate potential solutions to these problems. • Contribute to the development of AI-powered experiences, including workflows and the AI Companion. • Use AI-native development practices to accelerate delivery, experimentation, and product discovery. • Drive the entire development cycle: from identifying the problem to launching the finished solution into production.

• Reporting directly to the Vector Unit Verification Lead, this is a highly technical Individual Contributor (IC) role. • Design scalable formal testbenches, write mathematical properties, and ensure the algorithmic and architectural integrity of the vector pipeline. • Work with VU microarchitects to identify deep corner-case bugs and achieve formal sign-off on complex arithmetic and execution blocks. • Design, deploy, and maintain robust formal verification environments for Vector Unit sub-blocks. • Implement advanced word-level modeling, bit-blasting, and algebraic rewriting strategies to verify floating-point and integer vector arithmetic units. • Independently diagnose and resolve proof-convergence failures using advanced reduction techniques. • Develop formal environments to mathematically prove compliance with RISC-V Vector Extension specifications. • Collaborate closely with VU simulation engineers for maximum bug-hunting efficiency.