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

风控算法工程师（验证码人机方向） 岗位职责： 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、有钻研精神，对安全风控有热情，主观能动性强，能适应快速变化的业务需求，具备良好的团队合作精神和沟通技巧。

职责描述： 1. 与IC设计工程师和系统工程师密切合作，负责IC设计项目相关验证计划的制定，验证 结果的评审，并根据项目的特点制定不同的验证策略、方案； 2.开发模块级的验证组件； 3.用Verilog、SystemVerilog以及各种验证方法学（覆盖率模型，带约束的随机向量生成等） 进行模块以及系统级的验证 任职要求： 1.微电子或电子类相关专业。 2.精通system Verilog 和各种Shell语言（Perl,csh,tcl,sh,etc） 3.熟悉AMBA 总线 协议 4.熟悉EDA工具（VCS/Verdi等） 5.熟悉UVM验证者优先 6.熟练使用perl、python等脚本语言（加分项）

岗位职责： 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．流畅的英文读写能力，良好的敬业协作精神与协调沟通能力。

基于自主知识产权芯片，我们的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；

岗位职责 1.在完整理解模块设计的基础上，和设计人员一起制定验证场景和计划 2.用system verilog，UVM创建验证环境 3.撰写包含各种corner-case的完整功能验证点文档 4.和设计人员一起debug 5.负责IP或者top level的pre-sim，post-sim验证 任职资格 1.本科及以上，微电子、电子信息、通信、计算机等理工科相关专业优先  2.具备较好的数字电路基础知识，熟悉IC验证流程、计算机结构和工作原理 3.具有以下开发经验者优先：NAND Flash控制器，ONFI/Toggle协议，SATA协议，SPI/UART，加解密算法AES、RSA、SHA、SM，LDPC纠错算法" "1.熟悉system Verilog 和 UVM 验证方法 4.良好的英语阅读，书写能力 5.熟悉AMBA协议，APB/AHB/AXI

数字 IC 验证工程师 岗位职责: 1. 参与芯规格制定，根据芯片 spec 制定验证策略规格； 2. 负责验证方案、验证计划、Testcase 制定； 3. 负责搭建验证环境、编码、质量检查，度量数据收集，输出验证报告，组织验证 review； 4. 负责集成测试、系统测试、低功耗测试； 5. 协助设计人员搭建单元测试环境； 6. 协助后端人员进行功耗分析，时序检查； 岗位要求: 1.本科及以上学历，电子工程相关专业； 2.精通 Verilog 语言； 3.精通 SPI、I2C、UART 等基本外设接口的验证； 4.有较强的验证经验，有项目完整的验证经验，能够进行代码、功能覆盖率分析。

岗位职责 1、负责激光雷达传感器芯片SoC和IP模块验证； 2、提取验证功能点，书写验证方案，制定验证计划； 3、搭建验证环境，开发定向和随机激励，执行验证以及回归测试，调试并解决问题，分析验证状态； 4、完成芯片后仿以及功耗仿真； 5、配合量产测试部门，完成测试向量产生工作。   职位要求 1、微电子、电子工程或计算机等相关专业； 2、熟练掌握 Verilog/SystemVerilog 以及UVM验证方法学； 3、熟悉 ASIC 设计流程，熟悉VCS/Verdi等EDA工具； 4、熟悉AMBA/I2C/JTAG/SPI/MIPI等协议，熟悉RISC-V等MCU架构者优先； 5、有较强的脚本（Perl、Python、Tcl 等）编程能力，可用脚本语言处理文字信息； 6、具备良好沟通、团队协作能力和一定抗压能力； 7、有成功流片经验者优先。

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

岗位职责 工作地点：深圳，北京、上海、杭州、苏州、南京、成都、西安。 1、IP 验证，根据 spec 提取测试点、制定验证计划； 2、搭建验证平台，编写验证用例，执行验证； 3、Failure、Bug 分析及定位，Coverage 分析及收敛； 4、按时、保质完成各节点的交付； 5、开发验证相关的自动化工具。 任职要求 1、微电子、电子工程、通信、计算机等专业本科及以上学历，5年以上相关工作经验，有 IP 验证经验，有ISP验证经验优先； 2、精通 Verilog/SystemVerilog 和 UVM，能够独立搭建验证环境； 3、精通 C/C++等编程语言，熟悉 reference model 的开发及使用； 4、掌握至少一种脚本语言：Makefile、Perl、Python、Ruby、Tcl 等； 5、熟悉常用 EDA 工具的使用，如 verdi、vcs、ncsim 等； 6、具备强烈的责任心、驱动力和schedule意识，良好的学习能力、团队合作精神、沟通表达和问题分析能力。 加分项 a)有 ISP 验证经验 b)有 NPU 验证经验 c)熟悉视频编解码