主分类：芯片设计与验证
来源 JD 数据（旧分类保留，当前主分类见上方）
{
"schema_version": "via_ai_product_manager_jobs_v1",
"data_type": "ai_product_manager_jobs",
"job": {
"job_title": "达摩院-存储系统验证工程师-计算技术",
"job_level": "未披露",AI生成
"work_category": "全职",AI生成
"department": "阿里集团",
"location": "上海",
"work_mode": "未披露",AI生成
"job_category": "技术-芯片"AI生成
},
"company": {
"company_name": "阿里巴巴控股集团",
"company_industry": "电子商务 / 云计算 / 人工智能",
"company_size": "未披露",
"company_website": "alibaba.com",
"company_description": "阿里巴巴集团面向消费者和企业提供电子商务、云计算及人工智能服务。"
},
"compensation": {
"salary_range": {
"min": "",
"max": "",
"currency": "未披露",
"cycle": "未披露"
},
"benefits": "未披露"
},
"requirements": {
"working_years": "",
"degree": "硕士",
"language": "未披露",AI生成
"visa_support": "未披露",
"responsibilities": "1. 搭建模块级验证环境，制定数据通路和算法功能验证策略\n2. 执行形式验证/动态仿真等有效验证方法来确保设计满足规格要求\n3. 分析和解决故障与问题，确保验证进度，交付完全验证的数据和算法通路相关功能设计",
"requirements_text": "1. 有数据通路RAS模块，冗余修复模块验证经验，了解parity/ECC等数据通路RAS算法\n2. 有memory controller相关验证经验\n3. 有协议转换相关验证经验，精通AXI/frame/flit等常用数据通路协议，以及数据通路reorder机制\n4. 熟练掌握systemverilog，精通UVM验证方法学，有验证平台复用经验\n5. 有使用formal工具（C2RTL/FPV）进行算法模块验证的经验",
"skills": [AI生成
"SystemVerilog"
],
"preferred_qualifications": "未披露",
"job_highlights": "未披露"
},
"contact": {
"recruiter_name": "未披露",
"contact_methods": [
{
"type": "apply_link",
"value": "https://talent-holding.alibaba.com/off-campus/position-detail?positionId=100004700002"
}
]
},
"posting": {
"posting_id": "100004700002",
"post_date": "2026-09-11",
"hire_time": "未披露",
"update_date": "20260917",
"job_url": "https://talent-holding.alibaba.com/off-campus/position-detail?positionId=100004700002"
},
"fulltext": "达摩院-存储系统验证工程师-计算技术\n达摩院-存储系统验证工程师-计算技术\n\n基础信息\n职位类别：技术-芯片\n工作地点：上海\n\n职位描述\n1. 搭建模块级验证环境，制定数据通路和算法功能验证策略\n2. 执行形式验证/动态仿真等有效验证方法来确保设计满足规格要求\n3. 分析和解决故障与问题，确保验证进度，交付完全验证的数据和算法通路相关功能设计\n\n职位要求\n1. 有数据通路RAS模块，冗余修复模块验证经验，了解parity/ECC等数据通路RAS算法\n2. 有memory controller相关验证经验\n3. 有协议转换相关验证经验，精通AXI/frame/flit等常用数据通路协议，以及数据通路reorder机制\n4. 熟练掌握systemverilog，精通UVM验证方法学，有验证平台复用经验\n5. 有使用formal工具（C2RTL/FPV）进行算法模块验证的经验\n1. 搭建模块级验证环境，制定数据通路和算法功能验证策略\n2. 执行形式验证/动态仿真等有效验证方法来确保设计满足规格要求\n3. 分析和解决故障与问题，确保验证进度，交付完全验证的数据和算法通路相关功能设计\n1. 有数据通路RAS模块，冗余修复模块验证经验，了解parity/ECC等数据通路RAS算法\n2. 有memory controller相关验证经验\n3. 有协议转换相关验证经验，精通AXI/frame/flit等常用数据通路协议，以及数据通路reorder机制\n4. 熟练掌握systemverilog，精通UVM验证方法学，有验证平台复用经验\n5. 有使用formal工具（C2RTL/FPV）进行算法模块验证的经验",
"standard_classification": {
"std_category_code": "T024",
"std_aux_codes": [],
"std_category_status": null,
"std_taxonomy_version": "20261104"
}
}