Optimize core formal verification engines while leading R&D efforts. Drive the design and development of intelligent multi-agent AI systems that enhance electronic design automation tools for complex hardware verification tasks at scale.

Lead groundbreaking research in Hardware Formal Verification tools, architecting next-gen algorithms with AI integration to optimize performance and scalability in EDA. Drive innovation through collaboration with autonomous AI systems to solve complex challenges.

Tackle robotics innovation by bridging the gap between simulation and real-world performance. In this senior role, you'll enhance robotic systems through technical leadership, hands-on software development, and cross-functional collaboration.

Pioneer the future of quantum computing by collaborating across teams to define system requirements, enabling innovative fault-tolerant systems. Leverage your expertise to tackle complex challenges in hardware, software, and calibration.

Pioneer innovative solutions in quantum computing; collaborate globally to define system requirements enabling fault-tolerant quantum systems while fostering a culture of technical depth and rapid innovation.