岗位描述
Annapurna Labs 隶属于 AWS，负责设计 AWS 基础设施背后的芯片，包括 AWS Graviton 处理器和 AWS Nitro System。你在这里验证的内容，运行在全球数百万台服务器上。形式验证贯穿我们的所有项目。每个项目都有数百个形式环境，从具有复杂数据处理或复杂 FSM 的小型模块，到芯片互连死锁验证。职位：作为形式验证工程师，你将端到端负责 Graviton 或 Nitro 子系统内模块的形式验证（FV），从架构到签核。你将与技术负责人合作，并担任其他工程师的导师和知识来源。你的想法塑造团队：如果某种技术有效，我们就采用，无论由谁提出。我们正在将 AI 和智能体流程推入日常验证工作，你的想法将决定它能走多远。我们团队的资深工程师是形式验证专利的共同发明人。我们提供：一个被信赖的角色：形式验证结果驱动签核决策，其他团队围绕这些结果做规划。从第一天起就深度参与：FV 工程师在架构阶段就加入，定义必须证明的内容，并在 RTL 编写之前塑造可证明的设计。与设计团队真正的伙伴关系：我们共同定义验证意图。一个资深 FV 领导者与带来活力和新想法的早期职业工程师并肩工作的团队。我们热爱这份工作，也喜欢一起工作。主要工作职责* 端到端负责你所负责模块的形式验证，从架构到签核* 编写形式验证计划并定义必须证明的内容* 构建形式环境，涵盖 FPV、时序等价性、连通性、X-prop、安全性和活性* 通过抽象、不变式和分解解决收敛问题* 清晰报告哪些已证明、哪些有界、哪些仍未解决* 与设计团队合作定义验证意图并提升设计质量* 将新技术（包括 AI 和智能体流程）引入团队流程日常工作在这个角色中，你将参与流片前验证工作，连接产品开发旅程的每个阶段——从初始产品定义到固件和软件开发。你将与硬件设计师、软件工程师和跨职能团队合作，验证复杂的半导体架构和协议。你的日常工作可能包括开发和执行验证测试计划、分析仿真结果、排查设计问题以及参与设计评审。你将使用先进的验证方法和工具，接触定义下一代云基础设施的前沿技术。关于团队我们是一个协作型验证团队，充当整个产品开发生命周期的连接组织。我们的使命是确保为全球 AWS 服务提供动力的创新半导体平台的可靠性和性能。我们与硬件设计、固件和软件团队紧密合作，在产品投产前验证复杂系统。我们致力于持续改进，并寻找机会增强验证流程，为客户提供更好的解决方案。加入我们的团队，意味着成为一个致力于技术卓越并支撑全球数百万云客户基础设施的团队的一员。