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

1.负责深度学习算法开发，包括通用算法模型库的开发和优化，以及面向应用业务的领域算法设计与实现，涉及研究成果的工程化。 2.负责深度学习算法的理论分析、形式化验证、性能测试等工作。 3.与后台系统组件及AI引擎开发人员配合，实现软件各组件的功能对接。 4.负责基于大模型的应用开发，持续改进应用效果。 5.参与软件工程相关文档资料的编写整理工作。 任职资格 1.熟悉Python等语言，熟悉数据处理和算法领域常用的开发库。 2.熟悉经典机器学习算法及其数学原理、神经网络模型、常用神经网络的实现及优化技术；熟悉一种或多种深度学习引擎（TensorFlow、PyTorch）的使用方法及其外部生态；开源贡献者优先。 3.理解服务器端软件开发的全流程，并具有基本的软件架构设计能力。 4.熟悉Python开发相关的工具链，了解软件工程规范和流程。 5.具有较强的学习、理解和团队合作能力，乐于探索新技术、新方法，追求知识和能力的进步。 6.在人工智能或相关领域有2年以上工作经验者优先；熟悉人工智能应用业务知识者优先。 7.大学本科或以上学历，能够熟练阅读理解英文材料。

职位描述： 1.负责深度学习算法开发，包括通用算法模型库的开发和优化，以及面向应用业务的领域算法设计与实现，涉及研究成果的工程化。 2.负责深度学习算法的理论分析、形式化验证、性能测试等工作。 3.与后台系统组件及AI引擎开发人员配合，实现软件各组件的功能对接。 4.负责基于大模型的应用开发，持续改进应用效果。 5.参与软件工程相关文档资料的编写整理工作。 任职资格 1.熟悉Python等语言，熟悉数据处理和算法领域常用的开发库。 2.熟悉经典机器学习算法及其数学原理、神经网络模型、常用神经网络的实现及优化技术；熟悉一种或多种深度学习引擎（TensorFlow、PyTorch）的使用方法及其外部生态；开源贡献者优先。 3.理解服务器端软件开发的全流程，并具有基本的软件架构设计能力。 4.熟悉Python开发相关的工具链，了解软件工程规范和流程。 5.具有较强的学习、理解和团队合作能力，乐于探索新技术、新方法，追求知识和能力的进步。 6.在人工智能或相关领域有2年以上工作经验者优先；熟悉人工智能应用业务知识者优先。 7.大学本科或以上学历，能够熟练阅读理解英文材料。

主要职责： 1.进行需求分析，收集业务特定数据需求。 2.开发和维护数据管道，以实现数据提取、转换和复制到数据湖中。 3.使用Python、Scala和Spark验证数据格式和质量；清洗、丰富和转换数据。 4.使用Apache Airflow管理整个数据管道的编排。 5.参与数据建模，并协助形式化数据对象之间的关系。 6.支持测试、监控和数据治理活动。 7.与现场团队协作，确保项目顺利执行并遵守项目时间表。 任职要求： 1.计算机科学、数据科学、信息技术或相关领域的学士及以上学位。 2.数据工程或相关领域的实际经验，具有金融服务或政府项目的经验优先。 3.精通Python、Scala和Java等编程语言。 4.熟练使用Apache Airflow、Dremio等数据工程工具及数据存储技术。 5.对数据建模、ETL过程和数据仓库原理有深入了解。 7.出色的问题解决能力和团队合作能力。 行业经验： 至少2年相关数据工程或相关领域的经验。

团队介绍 1. 全面把握产品的功能及非功能需求，设计针对不同产品的质量保障和测试策略。 2. 参与产品系统架构建设和规划，进行风险评估，解决设计的可测性及保障系统的稳定性。 3. 制定测试计划，设计测试用例和实现自动化，分析测试结果，排查问题和定位根因 4. 参与code review，参与生产环境的故障应急、排查和修复。 5. 进行测试工具、测试技术、测试平台、产品研发测试过程等方面的创新，提升测试效率。 6. 参与合作伙伴测试体系建设，团队技术规划和相关测试技术平台建设和技术输出。 职位描述 1. 计算机本科以上相关专业及5年以上工作经验，有大型软件项目或互联网软件研发经验。 2. 扎实的编程能力和数据结构知识，熟练掌握Java/C/C++/C#中的至少一门语言。 3. 熟悉MySQL/SQL Server/PostgreSQL/Oracle中的至少一种数据库。有NoSQL经验者优先。 4. 了解软件测试的行业动态，熟悉常见的软件测试方法论。对设计模式、微服务架构等有深入的了解。 5. 具备良好的团队合作精神，能够分解复杂问题并带领虚拟团队拿到结果。 6. 有大数据、机器学习、形式化验证、数据安全等领域经验者优先。 7. 有电商平台或金融支付行业经验者优先。 8. 英语流利、有海外学习工作经验者优先。 9. Base地：杭州/上海/成都

职位：web全栈工程师 职责描述： 1. 负责企业官网的开发工作：网站和移动端平台前后端开发 2. 负责应用系统的运行维护和管理，保障产品系统的高可用 3. 持续关注新的技术，选择适合的技术持续改进的产品 4. 有B2C商城平台开发经验优先 任职要求： 1. 具备两年及以上全栈开发经验，（电商网站前端+后端），具备Web端和移动端产品开发能力 2. 熟练使用HTML 5，CSS 3，JavaScript，熟练使用前端框架 Jquery 3. 精通 SSM 框架，了解大规模并发处理和缓存机制技术 4. 熟练掌握数据库，有数据库优化和运维经验的优先 5. 工作态度积极，有良好的职业素养和团队合作意识，具备优秀的学习能力与创新能力，有自我挑战精神。 个人要求 1、外向开朗，愿意主动交流、学习、团队合作 2、热爱钻研开发，对自己职业规划不明确、有  考公等顾虑的，请勿扰，不要浪费彼此时间 3、由于研发岗位项目学习、交接、开发的时间 长，转正后需要工作一年以上才允许辞职。 短期职业规划的，勿扰！！！ 公司情况 1、法定节假日全放 2、工作7小时(9:30 - 12:00，1:30 -6:00) 3、不加班 4、每天上下班不打卡，无绩效无考勤 5、暂时大小周(争取今年内调整到双休) 6、入职一年以上，有一点年终奖，不多 7、 同事融洽，领导温和，请假很好请 8、工作轻松，大部分时间学习和做项目 9、 年轻小团队，不搞官僚、团建等形式化主 义。只专注与自己的开发工作 10、周边交通发达、居住地方多、食店多，生 活便利。每天通勤5-10分钟左右

职位描述： 1.负责创达业务（智能手机、智能汽车、智能物联网、智能视觉等）某一技术领域的研发工作 2.负责操作系统前沿技术（形式化验证，IPC，微内核等）的预研 3.负责操作系统底层框架（虚拟化，内核，硬件抽象，中间件等）的设计与开发 4.负责操作系统中间层框架（图形子系统，多媒体子系统，camera子系统，通信子系统等）的设计与开发 5.负责和操作系统相关工具（构建，编译，调试，自动化测试等）的设计/开发 6.负责操纵系统相关功能相关需求分析和问题解决 职位要求： 1.**本科及以上学历，计算机、电信等相关理工科专业 2.热爱软件编程，熟练掌握C++编程语言，有良好的编程习惯 3.具备优秀的学习能力和深入思考能力, 善于刨根问底, 对具有挑战性的问题充满激情 4.具备基础的英文或其他语言读写能力，拥有CET4级、其他语言证书、计算机相关比赛/实习经历者优先考虑

岗位职责： 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. 承担芯片模块级、子系统级或SoC系统级验证任务； 2. 根据项目需求，参与制定芯片验证计划和验证方案； 3. 搭建验证环境，开发定向/随机测试用例； 4. 开展全面的覆盖率分析和回归测试； 5. 与逻辑设计及后端相关人员沟通合作，完成芯片全流程验证与测试。 岗位要求 1. 计算机、微电子、电子电气、软件等相关专业本科或以上学历； 2. 熟悉UVM、ABV或形式化等验证方法、工具和流程； 3. 熟练使用Verilog、SystemVerilog硬件描述语言； 4. 熟悉C/C++、Perl或Python脚本； 5. 熟练使用Linux系统工具和命令； 6. 熟悉常用的计算机总线（包含系统总线和局部总线）者优先，如AMBA总线、高速外设总线（DDR、PCIE等）、低速外设总线（UART、IIC、SPI、GPIO等）； 7. 熟悉计算机体系结构优先； 8. 具备良好的沟通协调能力和团队合作精神，责任心强。 福利待遇： 1、购买五险一金 ； 2、各种节假日礼品\、项目奖金，带薪年假； 3、提供零食+下午茶; 4、周末双休，弹性的上班时间； 5、优美的办公环境，良好的工作氛围 。

任职要求 1、大专及以上学历，有教学经验者和教师资格证者优先考虑。 2、普通话标准，声音传递清晰，有节奏感和说服力，有较强的语言表达力。 3、热爱文教行业，思维灵活，性格开朗，有爱心和责任心，喜欢孩子 4、喜欢读书，愿意分享，有较强的沟通、学习领悟力 岗位职责： 1、按照总部课程体系，教授5-12岁学生整本书阅读技巧和思维，使用总部提供的课件和教案提前备课，保证教学质量，参加定期教研培训，不断提升专业教学技能 2、做好与家长的服务沟通，确保家长满意度； 3、邀约、接待到访家长和学生，提供专业测评和咨询并促成签单 4、辅助完成校区内绩效目标，配合校区内组织的各种教学活动及市场活动 薪酬：底薪+全勤绩效+课时费+签单提成+福利，入职即买社保，享生日礼金等多项福利与惊喜，岗位薪资根据个人能力高低面议 工作氛围：小伙伴们互帮互助，团结友爱，不搞形式化，淡化职级，一起成长，一起进步。 专业系统的培训：新入职员工有统一专业的培训，帮助您更快上手，掌握岗位技能，有效解决日常工作中疑问，提高效率！ 双通道晋升：每年两次综合考核，快速晋升，有教学教研和管理两条职业发展线路（晋升后，会直接在基本工资和课时费中体现）

美团平台为用户的基础产品体验负责，还承担了美团的用户增长、市场和品牌营销、前端技术基础设施建设以及多条业务线的产品设计职责，建立了融合文字、图片、视频和直播等不同形式的內容生态系统，同时整合地图服务部、客户服务和体验部、企业业务部、网约车业务部等部门，致力于用科技提升美团数亿消费者、近千万商家、骑手、司机和团长的服务体验。美团平台拥有高并发、多业务的复杂场景，为技术深度优化提供了最佳实践可能。这里有简单、讲逻辑、有爱的团队，更是一块理想的实战场地，舞台广阔，欢迎你来尽情施展。 岗位职责 1 、负责 AI 直播数字人的项目规划和产品设计，为AI 直播用户体验和交易效率负责。 2 、推动多部门协作，帮助AI 在多业务的落地并完成业务价值探索。 3、 完成数据分析和指标体系设计，能够基于产运协作做好 4 、调研行业 AI 发展动态，完成行业分析调研和策略解读。 岗位基本需求 1 、具备5 年以上的用户产品设计经验，具备AI产品经验者优先。 2 、具有长链路的系统设计能力，和跨部门的协同推进能力。 3 、良好的数据分析能力和团队协同能力。 4 、本科学历，有强力的自驱力和学习能力。 岗位亮点 团队氛围nice 、项目空间大、成长机会多、有创新探索机会

职位职责： 1、负责本地生活效果广告的中小客户方向，针对中小客户特点及投放问题，创新业务模式，包括但不限于投放、流量、创意、数据策略，打造中小友好型营销平台； 2、以中小客户数、留存成长为目标，设计面向中小客户的极简产品方案，结合投放策略和已有产品的中小适配，帮助中小本地商家做好经营广告投放； 3、及时收集运营、销售、客户反馈，推进产品有效迭代，以创造落地价值为目标；并协调推动相关的业务团队高质量落地，收集反馈持续迭代。 职位要求： 1、本科及以上学历，4年以上产品经验，有广告策略经验/本地生活相关行业经验优先； 2、对本地生活行业有一定的了解，能独立完善需求调研、数据分析、产品设计工作，具备项目管理能力； 3、有较强的沟通能力和理解能力，工作细致有耐心，沟通清晰有重点、喜欢挑战和追求极致，有良好的自我管理能力； 4、具备敏锐的商业洞察力、强力自驱力、较强的数据分析能力、较好的逻辑思维能，有独立分析和解决问题的能力。

岗位职责： 1. 针对海量数据开发包括不局限于营销响应、流失预警等营销模型及反欺诈评分、信用评分、额度模型、行为评分、催收评分等风险模型； 2. 跟进实施以量化分析为基础的咨询项目，项目业务围绕信贷、财富等金融业务领域，实施内容包括不局限于流程设计、业务框架设计、特征设计、模型开发、策略制定、实施部署等； 3. 熟悉公司所提供的解决方案，配合商务对机构进行方案介绍与答疑；通过量化分析工具为合作机构提供决策分析报告，配合商务有效推动机构合作与落地应用； 4. 对海量内部底层数据进行清洗和深度挖掘，探索有效稳定的维度/变量/模型/标签以形成标准化的产品； 岗位要求： 1. 本科及以上学历，211/985院校毕业优先，数学、统计学、计算机等相关专业优先； 2. 3年及以上互联网/信贷/金融科技机构模型开发/算法/量化策略相关工作经验； 3. 熟练运用Python/R进行数据分析或建模，熟练掌握数据库操作（如SQL语句）； 4. 了解LR/RF/XGB/LGBM等机器学习算法的原理及其应用； 5. 对金融产品/客户全生命周期运营/风险管理有深刻理解者优先； 6. 表达清晰，逻辑严谨，对数据敏感，敢于创新，善于发现、探索并解决问题； 7. 具备较强独立思考能力、学习能力、自我驱动力、责任心及抗压能力；

岗位职责 1、负责公司负责公司技术文档、表单，管理文件的编制工作； 2、负责大项目管理问题追溯，会议纪要编制及归档 ； 3、负责技术团队间的沟通协调工作； 4、负责知识产权文档编写工作，辅助软著等知识产权申报工作； 5、负责制定和管理文档写作规范、标准化模板、术语库、文档开发协作流程等，提升文档风格一致性与文档撰写效率，负责文档的校对和审核发布； 6、负责公司软件产品的用户使用文档的规划和编写工作，包含但不限于功能介绍、产品简介、使用教程、FAQ等，为用户解决产品使用问题提供完整的支撑。 岗位要求 1、大学本科及以上学历，计算机相关专业背景，具备IT从业经验2年以上； 2、有快速学习能力，能快速学习掌握新的产品和技术； 3、具备良好的表达、沟通及协调能力，对于复杂问题能够有独立分析和分解的能力； 4、有文档撰写工作经验者及持项目管理师等资质证书者优先； 5、有参与大型软件产品从0-1文档管理经验者优先。

**岗位名称：Java开发工程师 **岗位职责：** 1. 负责公司产品的设计、开发、测试和维护工作； 2. 参与项目需求分析，制定技术方案，完成系统设计； 3. 负责核心代码编写，确保代码质量，对代码进行优化； 4. 参与项目技术难题攻关，协助团队解决技术问题； 5. 参与项目上线部署，确保系统稳定运行； 6. 负责编写技术文档，为项目后续维护提供支持； 7. 与团队成员保持良好的沟通，共同推进项目进度。 **任职要求：** 1. 计算机相关专业，211本科及以上学历，3-5年Java开发经验； 2. 熟悉Java基础，掌握Java集合、多线程、网络编程等基本技能； 3. 熟悉Java Web开发，掌握Spring、Spring MVC、MyBatis等主流框架； 4. 熟悉数据库设计，掌握MySQL、Oracle等关系型数据库，具备一定的数据库优化能力； 5. 熟悉Linux操作系统，掌握基本的Linux命令； 6. 熟悉分布式技术，如：Dubbo、Zookeeper、Kafka等； 7. 熟悉前端技术，如：HTML、CSS、JavaScript、Vue.js等； 8. 具备良好的代码编写习惯，熟悉代码规范，能编写高质量的代码； 9. 具备良好的沟通能力，有团队合作精神，能承受工作压力； 10. 有大型项目开发经验者优先。 1. 薪资范围：面议，根据个人能力及经验； 2. 五险一金、年终奖、项目奖金等； 3. 提供完善的职业发展路径和晋升空间； 4. 提供丰富的培训和学术交流机会； 5. 舒适的工作环境，团队氛围融洽。 **工作地点：**[公司所在城市] 欢迎有志之士加入我们的团队，共同创造美好的未来！