职位职责： 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. SOC 中的模块及系统级验证 2. 根据 spec 提取测试点、制定验证计划 3. 搭建验证平台，编写验证用例，执行验证 4. Failure、Bug 分析及定位 5. Coverage 分析及收敛 6. 按时、保质完成各节点的交付 7. 开发验证相关的自动化工具 任职要求： 1. 本科及本科以上，微电子、电子工程、通信、计算机专业优先 2. 2 年以上工作经验，有大型 SOC 验证经验 3. 有如下领域的多项验证经验：ARM、RSIC-V、AMBA 总线、Video、Audio、Security、Ethernet、 DDR、ISP、NPU、MIPI、USB、SD、I2C、UART、SPI 等 4. 精通 Verilog/SystemVerilog 和 UVM，能够独立搭建验证环境 5. 精通 C/C++等编程语言，熟悉 reference model 的开发及使用 6. 精通 Shell、Makefile、Perl/Python/Ruby/Tcl 等 7. 有门仿、性能验证、总线验证经验 8. 具有强烈的责任心、自我驱动力和 schedule 意识 9. 具有良好的学习能力、团队合作能力、沟通表达能力和问题分析能力 加分项： 1.有低功耗验证经验 2. 有硬件加速器验证经验 3. 有基于 VC Formal 或者 JasperGold 的形式验证经验。

工作职责： 1、根据设计⽂档提交验证计划，制定模块的验证⽅案，建⽴验证环境及验证框架，完成模块级/芯⽚级验证； 2、执⾏回归测试，提升验证的覆盖率； 3、协助 FPGA ⼯程师和软件⼯程师完成 FPGA 原型测试； 4、配合芯⽚设计⼯程师查找修复设计缺陷； 5、确认芯⽚设计的完整性，指导设计部⻔实现可验证设计流程； 6、完成⻔级仿真、带UPF的形式验证等⼯作，确保芯⽚流⽚成功。 任职要求： 1、本科及以上学历，计算机／电⼦⼯程／通信⼯程等相关专业; 2、熟悉数字芯⽚ SoC 和通信模块原理; 3、熟悉 Verilog，精通 C / System Verilog 验证； 4、掌握 Perl / Shell / Tcl 等脚本； 5、有 FPGA 验证经验或实际流⽚者优先； 6、熟悉 VMM / UVM 者优先。

岗位职责 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、有3年以上药厂GMP验证管理工作经验者可降低学历。 岗位职责： 1、验证管理程序和资料的更新、维护； 2、验证计划的编制、跟进、定期执行情况的总结和更新； 3、验证/确认方案、报告的审核，包括工艺验证、清洁验证、分析方法验证、厂房设施确认、仪器设备确认、环境系统验证、计算机化系统验证等内容； 4、验证相关培训、执行协调沟通； 5、验证/计划的安排、协调、监督实施，以及必要的现场指导； 6、验证偏差的处理、组织、参与偏差的调查和评估； 7、法规指南更新、解读，组织培训，完成差距分析； 8、完成上级交办的其他任务。 其他：具备良好的组织协调能力、沟通能力和执行力

【芯片验证工程师】 【职位描述】： 1、保障芯片高质量交付： a）负责芯片中某个单模块或子系统级特性验证； b）参与芯片需求分析，并关联到芯片具体实现，识别验证重难点，制定相应的验证策略； c）基于常用验证方法学，分解测试点、设计测试用例，并制定相应的验证方案； d）制定验证计划，保障芯片验证项目顺利过点； e）洞察业界验证前沿技术，迁移应用。 2、持续提升验证效率： a）设计自动化验证框架，提升验证效率； b）设计、优化验证软件架构，降低验证软件开发工作量； c）开发工具、仿真平台，提升开发和问题定位效率； 【岗位要求】： 1、熟悉C、Python至少一种编程语言； 2、掌握验证方法学，掌握常用的验证分析方法； 3、协同合作能力强，质量意识佳。

【工作职责】 1、负责LTE/4.5G/5G无线通信物理层(基带)解决方案级特性测试交付。设计完备高效的测试方案，搭建领先业界的基带软件测试平台，交付零缺陷基带软件; 2、深刻理解客户应用场景，负责端到端测试策略制定与实施;用例设计、用户场景测试设计、自动化设计实现(AW设计或实现、环境平台设计实现); 3、对负责测试的系统进行商用质量评估、闭环改进，保证软件交付件质量; 4、确保业务/特性、应用场景、DFX符合客户需求，满足业界网络安全标准及客户网络安全要求，确保市场项目成功。 【任职要求】 业务技能要求： 1、具备较强的独立分析问题以及解决问题的能力； 2、有无线通信领域工作经验者优先。 3、熟悉C、Python至少一种编程语言； 4、掌握验证方法学，掌握常用的验证分析方法； 5、协同合作能力强，质量意识佳。 专业知识要求： 1、 具备测试的理论知识和素养，有1年以上相关行业（计算机、通信）工作经验，有TSE经验者优先； 2、有无线业务知识，嵌入式研发测试经验者优先。 3、有一定编程基础，编程语言不限，熟悉C/C++语言、Verilog/SV等硬件描述语言尤佳； 4、熟悉linux、shell编程、python等脚本语言更佳； 5、有芯片验证基础，熟悉vmm、uvm等验证方法学优先录取。

职位描述: 1. 参与FPGA芯片或IP的Specification和Architecture的检视，根据Specification和Arch进行测试点分解和用例设计； 2. 写作模块级或Top级验证方案，开发Testbench,开发可重用验证模块，开发调试测试用例，负责覆盖率的收集和分析； 3. 负责3rdIP的匹配性验证和集成验证； 4. 负责模块级或全芯片级验证报告的写作，参与验证报告评审等； 任职要求： 1. 计算机科学与技术、电子工程学、微电子学、自动化控制本科或以上学历；具有芯片验证、FPGA设计验证相关工作经验； 2. 熟悉数字逻辑设计、验证，包括前后仿；熟悉UVM验证方法学，熟悉常用的测试点分解和测试用例设计方法； 3. 熟悉模拟和混合信号IC电路的验证； 4. 熟悉掌握流片和测试流程，有流片和测试经验者优先； 5. 熟练掌握Verilog或SV语言和仿真环境，了解低功耗设计和SOC基本知识； 6. 熟练掌握VCS、Verdi等工具，能进行问题定位和波形分析，能在Linux环境熟练开展工作（包括但不限于GVIM的使用）； 7. 具有很强的责任心、敬业精神和团队合作精神，有创新意识和主动学习的能力； 备注：2-6具备其中2项及以上能力即可

职位描述: 1．参与FPGA芯片或IP的Specification和Architecture的检视，根据Specification和Arch进行测试点分解和用例设计； 2．写作模块级或Top级验证方案，开发Testbench,开发可重用验证模块，开发调试测试用例，负责覆盖率的收集和分析； 3．负责3rdIP的匹配性验证和集成验证； 4．负责模块级或全芯片级验证报告的写作，参与验证报告评审等； 任职要求： 1.*****硕士及以上学历，微电子或电子工程； 2. 熟悉数字逻辑设计、验证，包括前后仿；熟悉UVM验证方法学，熟悉常用的测试点分解和测试用例设计方法； 3. 熟悉模拟和混合信号IC电路的验证； 4. 熟悉掌握流片和测试流程，有流片和测试经验者优先； 5. 熟练掌握Verilog或SV语言和仿真环境，了解低功耗设计和SOC基本知识； 6. 熟练掌握VCS、Verdi等工具，能进行问题定位和波形分析，能在Linux环境熟练开展工作（包括但不限于GVIM的使用）； 7. 具有很强的责任心、敬业精神和团队合作精神，有创新意识和主动学习的能力； 8. 备注：2-6具备其中2项及以上能力即可

职责描述： 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. 根据芯片架构完成工作分配和交付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．微电子、电子工程、通信等相关专业本科及以上学历，三年以上芯片验证经验； 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.负责验证环境的设计和编码实现； 3.负责测试用例的设计和调试，根据仿真情况定位解决问题； 负责验证平台、脚本的持续优化和效率提升。 岗位要求： 1.具有电子工程和ASIC/SOC验证经验； 2.熟悉基本的验证语言，如SystemVerilog/Vera/E; 3.了解常见的验证方法学VMM/UVM/OVM； 4.熟练使用EDA工具（VCS，Verdi），脚本语言（Shell，TCL）和Linux工作环境； 有良好的团队合作精神，工作态度积极，责任心强。