职位职责： 1、 研究形式化验证技术在网络领域的应用，探索网络系统自动化验证方法； 2、通过对网络控制面和数据面进行建模验证，实现网络变更前自动化验证，预测影响和风险。 职位要求： 1、 硕士及以上学历，计算机、通信等相关专业； 2、掌握形式化方法领域的相关知识、形式化建模方法和形式验证工具使用及应用，有较强的数学建模能力，如：SAT/SMT/Z3 等求解器，基于 SMV 模型验证等； 3、熟悉学术界在网络控制面或数据面验证领域的相关论文和工具的技术原理和实践，如：Batfish、Minesweeper、HSA/BDD 等； 4、 编程基础扎实，能使用 C/C++/Python/Go 等至少一门编程语言。

岗位职责： 1.负责模块级/子系统级/系统级的验证工作（包括前仿和后仿）； 2.制定验证策略和验证计划，搭建验证平台； 3.编写验证用例，进行模块级、子系统级和系统级验证； 4.完成验证覆盖率分析，输出验证报告文档。 任职要求： 1．微电子、电子工程、通信等相关专业本科及以上学历，三年以上芯片验证经验； 2．熟悉IC验证流程，熟练掌握UVM验证方法学，以及相关编译、仿真和debug EDA工具； 3．熟悉Verilog/SystemVerilog、C/C++编程语言，以及常用脚本语言，如Shell/Tcl/Perl/Python； 4．熟悉常用SoC总线和接口协议，如AMBA、DDR、SPI、I2C、SDIO、MIPI、USB等； 5．具备数字通信相关芯片验证经验者优先； 6．熟悉ARM/RISC-V SoC系统及具有低功耗验证经验者优先； 7．规范严谨、耐心细致的工作风格，具有学习热情和抗压能力； 8．流畅的英文读写能力，良好的敬业协作精神与协调沟通能力。

职位职责： 1、 研究形式化验证技术在网络领域的应用，探索网络系统自动化验证方法； 2、通过对网络控制面和数据面进行建模验证，实现网络变更前自动化验证，预测影响和风险。 职位要求： 1、 硕士及以上学历，计算机、通信等相关专业； 2、掌握形式化方法领域的相关知识、形式化建模方法和形式验证工具使用及应用，有较强的数学建模能力，如：SAT/SMT/Z3 等求解器，基于 SMV 模型验证等； 3、熟悉学术界在网络控制面或数据面验证领域的相关论文和工具的技术原理和实践，如：Batfish、Minesweeper、HSA/BDD 等； 4、 编程基础扎实，能使用 C/C++/Python/Go 等至少一门编程语言。

职责描述： 1.芯片模块、SoC系统级验证； 2.根据项目需求，参与制定芯片验证计划和验证方案； 3.搭建全片验证环境； 4.与逻辑设计及后端相关人员沟通合作，完成芯片全流程验证与测试； 5.常驻无锡工作。 任职要求： 1.***本科及以上学历，计算机科学与技术、电子科学与技术、集成电路科学与工程等相关专业； 2.熟悉芯片验证流程，熟悉常用芯片验证EDA工具； 3.掌握Verilog、SystemVerilog语言，掌握Tcl、Makefile、Python、Perl等常用脚本语言； 4.具有处理器验证经验或高速接口IP验证经验； 5.熟悉UVM验证方法学并具有相关开发经验； 6.完成过实际芯片验证环境搭建，具有实际芯片项目验证经验； 7．具有良好的团队合作能力。

本岗位工作地点北京或嘉兴（可根据人选意向决定）、试用期不打折、五险一金全额缴纳。 本岗位隶属类脑实验室。 岗位职责： 1. 根据产品需求和架构，完成芯片系统验证； 2. 根据芯片架构完成工作分配和交付Schedule制定； 3. 管理芯片验证交付和流程管控，协调各组沟通和交付管理； 4. 负责芯片的交付质量把控和风险管理； 5. 负责组建和管理芯片验证团队。 任职要求： 1. ***硕士及以上学历； 2. 10年以上多核SoC验证经验，5年以上芯片验证经验； 3. 熟悉计算机体系架构，熟悉多种计算机神经网络； 4. 对SoC中重要的加速器如cpu 、Cache Coherence、Fabric、PCIe、DDR、Serdes、图像处理和Chiplet中的大部分有深入的了解； 5. 具有成功流片经验和产品量产经验； 6. 良好的沟通能力和团队合作精神。

本岗位工作地点上海或嘉兴（可根据人选意向决定）、五险一金统一交在嘉兴（有丰厚的人才引进政策），试用期不打折、五险一金全额缴纳。 本岗位隶属感存算一体化实验室。 岗位职责： 1.负责模块及芯片的验证环境搭建，验证计划制定与实施； 2.负责后仿验证，参与芯片测试工作； 3.配合后端工程师完成时序收敛工作； 4.完成验证文档的编写工作。 任职要求： 1.3年以上DV经验，熟悉CODEC,ISP等图像相关领域； 2.熟悉SV，UVM验证方法。熟悉Verilog，C等语言； 3.熟悉Linux环境，熟练使用验证工具，熟练编写和使用脚 4.良好的沟通能力和学习能力。

风控算法工程师（验证码人机方向） 岗位职责： 1、基于不同的验证码形式和终端设计SDK埋点体系并与前端沟通采集逻辑，验证码形式包括不限于滑块、九宫格、图标点选等，终端覆盖Web、H5、Android、Ios。 2、基于采集到的验证码行为数据和设备数据构建人机识别模型判断是否为机器流量，并完成模型的实时线上部署，应用在登录、注册等各个业务场景用于风险识别。 3、通过和黑灰产的不断对抗，维护并持续迭代各验证码人机模型，探索不同的算法模式，并且将之应用到验证码场景中。 职位要求： 1、3年以上反欺诈＆风控、反作弊算法研发经历，计算机相关专业本科及以上学历，算法基础扎实； 2、熟悉黑灰产作弊手法，有成功的黑灰产对抗经验，负责并有效治理过某类反作弊问题，比如批量注册、群控等； 3、熟悉 Python/Scala/Java ，具备优秀的编码能力，至少熟悉一种常见的机器学习／深度学习平台； 4、熟悉大规模数据挖掘、机器学习、自然语言处理、分布式计算等相关技术，有行为序列挖掘相关经验优先； 5、有钻研精神，对安全风控有热情，主观能动性强，能适应快速变化的业务需求，具备良好的团队合作精神和沟通技巧。

风控算法工程师（验证码人机方向） 岗位职责： 1、基于不同的验证码形式和终端设计SDK埋点体系并与前端沟通采集逻辑，验证码形式包括不限于滑块、九宫格、图标点选等，终端覆盖Web、H5、Android、Ios。 2、基于采集到的验证码行为数据和设备数据构建人机识别模型判断是否为机器流量，并完成模型的实时线上部署，应用在登录、注册等各个业务场景用于风险识别。 3、通过和黑灰产的不断对抗，维护并持续迭代各验证码人机模型，探索不同的算法模式，并且将之应用到验证码场景中。 职位要求： 1、3年以上反欺诈＆风控、反作弊算法研发经历，计算机相关专业本科及以上学历，算法基础扎实； 2、熟悉黑灰产作弊手法，有成功的黑灰产对抗经验，负责并有效治理过某类反作弊问题，比如批量注册、群控等； 3、熟悉 Python/Scala/Java ，具备优秀的编码能力，至少熟悉一种常见的机器学习／深度学习平台； 4、熟悉大规模数据挖掘、机器学习、自然语言处理、分布式计算等相关技术，有行为序列挖掘相关经验优先； 5、有钻研精神，对安全风控有热情，主观能动性强，能适应快速变化的业务需求，具备良好的团队合作精神和沟通技巧。

带领验证团队，负责芯片IP, SOC的验证工作（包括功能和时序仿真）, 根据系统要求制定验证计划和方案， 负责芯片验证的整体环境搭建和维护。 岗位职责: • 负责IP/子系统/系统级的全流程验证； • 根据设计规格制定验证计划及验证策略，根据设计及架构需求提取验证特性； • 搭建验证环境，创建并调试验证用例，收集并分析覆盖率，完成网表级仿真； • 开发或修改验证脚本，提高整体验证效率； • 业界新技术、新工具、新方法学的研究及开发； 任职要求： • 掌握IP或SOC验证流程，对验证方法学有深刻的理解； • 精通System Verilog，UVM，精通Perl/Python/TCL等脚本语言，熟悉C/C++； • 有如下几项经验之中的一项或多项： (1) ARM CPU验证经验； (2) SOC总线验证经验； (3) DDR验证经验； (4) ISP/Codec等图像验证经验； (5) NPU等AI模块验证经验； (6) DSP等验证经验； (7) 带SDF的网表级仿真经验； (8) 搭建并维护过大型验证环境的经验； • 有前端设计或芯片测试经验优先; • 具有责任感，良好的解决问题能力和沟通协调能力，勇于创新和接受挑战； • 电子、计算机、通信、自动化等相关专业硕士及以上学历，7年以上工作经验。

岗位职责： 1.根据实际项目需求设计针对性的验证方案，负责验证方案的落地实现； 2.负责验证环境的设计和编码实现； 3.负责测试用例的设计和调试，根据仿真情况定位解决问题； 负责验证平台、脚本的持续优化和效率提升。 岗位要求： 1.具有电子工程和ASIC/SOC验证经验； 2.熟悉基本的验证语言，如SystemVerilog/Vera/E; 3.了解常见的验证方法学VMM/UVM/OVM； 4.熟练使用EDA工具（VCS，Verdi），脚本语言（Shell，TCL）和Linux工作环境； 有良好的团队合作精神，工作态度积极，责任心强。

基于自主知识产权芯片，我们的GNSS算法正服务于百万级IOT终端，践行“助力人类触摸无处不在的精准时空”的使命。期待与你一起并肩，促进更大规模的芯片终端落地，将基于芯片的GNSS高精度应用发挥出更大的前景！ 未来的你能接触到： 1、根据需求和设计文档，制定IP以及SOC系统的验证计划和验证策略； 2、负责IP以及SoC系统基于UVM验证环境的搭建; 3、执行芯片验证计划，参与芯片模块级/系统级的验证工作； 4、负责编写测试用例，并进行调试、收集分析验证覆盖率； 5、参与FPGA验证平台搭建，配合算法团队完成FPGA验证； 6、配合前后端以及Firmware团队完成全流程的验证工作； 同时我们希望你能具备： 1、硕士及以上学历，微电子与固体电子学、电子工程类、通信工程类； 2、熟悉Perl/Makefile/Shell，C/C++语言，熟悉Linux/Unix操作系统； 3、熟练使用VCS/Verdi/IUS等仿真工具，熟悉IC设计验证流程； 4、熟悉Verilog设计语言，熟悉SystemVerilog和UVM验证方法学； 5、熟悉FPGA的验证流程，熟悉FPGA综合调试经验； 6、工作积极主动，善于思考和规划，良好的团队合作意识和沟通能力；

岗位职责： 1.负责芯片顶层或IP集成验证 2.与设计人员共同制定验证规格和测试计划，并搭建基于UVM的验证平台 3.执行验证计划，编写测试用例，开展递归测试，完成问题的调试和修复 4.负责覆盖率收敛，并设计和编写测试用例完成signoff前的cross-check 5.开展门级功能和时序仿真 6.为芯片的bringup提供支持 职位要求： 1.微电子、计算机、通信等相关专业，硕士及以上学历 2.熟悉IC验证流程，具备丰富的IP/SOC验证以及成功流片的经验 3.熟悉SystemVerilog和UVM验证方法学 4.熟悉AXI/APB/AHB等总线协议 5.熟悉时钟、复位以及低功耗验证 6.熟悉门级仿真 7.能够识别项目风险点，具备团队协作精神，思路清晰，爱钻研，具备抗压能力

岗位职责： 1、芯片模块级、子系统级或SOC系统级验证任务； 2、根据项目需求，参与制定芯片验证计划和验证方案； 3、搭建验证环境，开发定向/随机测试用例； 4、开展全面的覆盖率分析和回归测试； 5、与逻辑设计及后端相关人员沟通合作，完成芯片全流程验证与测试。 任职要求： 1、3年以上IC验证经验，微电子、计算机、通信等相关专业，本科及以上学历； 2、熟悉IC验证流程，熟悉UVM、ABV或形式化等验证方法、工具和流程； 3、熟练使用Verilog、SystemVerilog硬件描述语言； 4、具有arm soc验证经验者优先； 5. 参与过MCU相关的验证工作，具有sdio，i2c，uart，spi，dma等外设验证经验者优先； 6、熟悉常用的计算机总线（包含系统总线和局部总线）优先，如AMBA总线、高速外设总线 (DDR、PCIE等）、低速外设总线 (UART、IC、SPIGPIO等）； 7、熟悉计算机体系结构优先； 8、具备良好的沟通协调能力和团队合作精神，责任心强。 9 . 能够识别项目风险点，具备团队协作精神，思路清晰，爱钻研，具备抗压能力 10. 有过团队管理经验优先

岗位职责： 1.与IC设计人员配合，使用C, System Verilog, UVM等语言/工具开发验证平台和验证用例 2.根据验证方案和测试点搭建验证环境进行仿真验证 3.完成相关覆盖率分析，输出验证方案和验证报告文档 任职要求： 1.本科及以上学历，电子、计算机、半导体物理或微电子相关专业 2.具备有扎实的数字电路基础 3.熟悉数字集成电路前端设计与流程 4.良好的沟通协作能力、责任心强 5.熟悉C, SystemVerilog，UVM者优先 具有IP模块的验证的项目经验者优先

工作职责： 1. 与IC设计工程师和系统工程师密切合作，理解模块及芯片设计规格。根据设定的芯片构架，负责编写芯片项目的RTL及网表的相关验证文档，负责开发数字电路模块级和系统级验证方案； 2. 开发验证平台，使用Verilog, System Verilog, UVM/OVM/VMM验证方法学,等硬件设计验证语言/工具，熟悉基于断言验证方法SVA，实现高效率的芯片功能，进行模块及SoC系统级验证工作； 3. 能够根据项目要求产生测试计划，产生代码及功能覆盖率，撰写验证报告； 4. 验证环境和验证脚本工具（Shell/Perl/Tcl/Makefile），并维护验证流程，配合芯片设计工程师查找修复设计缺陷； 5. 能够独立完成RTL级仿真和门级时序（带反标）仿真完成验证执行和Debug，满足Tape Out需求。 岗位需求： 1. 电子工程类本科及以上学历，三年及以上经验； 2. 熟悉数字电路验证流程； 3. 熟悉数字IC设计流程，熟悉UVM/VMM/OVM验证方法学，熟练掌握Verilog或System Verilog/SVA硬件设计验证语言； 4. 熟悉Linux工作环境，熟练使用脚本语言进行设计工具及环境开发如Makefile，Perl, Shell, TCL等； 5. 熟练掌握Cadence, Synopsys, Mentor逻辑仿真工具； 6. 熟悉基于断言验证方法，能够根据项目要求产生测试计划，产生代码及功能覆盖率，熟悉网表级带反标仿真验证调试； 7. 熟练使用仿真和调试工具，如VCS、NCSIM、Verdi等； 8. 有数模混合验证经验，能够搭建混合仿真的验证平台，并完成调试；能够搭建FPGA平台验证及调试,灵活配合软硬件验证方法并应用于产品验证； 9. 熟悉ARM Cortex-M处理器者优先； 10. 熟悉一种版本管理工具： SVN, GIT；