dalvik

1、计算机相关专业本科毕业，一年以上软件测试经验； 2、能根据需求编写测试计划、测试方案、测试报告； 3、熟悉软件测试方法和技术，对各种自动化测试工具、压力测试工具、缺陷追踪工具，有比较深入的应用经验，能熟练编写测试相关文档； 4、至少熟悉一门编程语言Python/Java； 5、有较强的分析能力和学习能力，富有责任心和创新精神，乐于分享，有较强的团队意识。 1、根据产品需求制定测试计划，设计测试用例，并执行测试； 2、利用测试工具进行缺陷跟踪，协助分析造成缺陷可能的原因； 3、编写测试文档、测试报告，提交测试结果； 4、负责搭建测试环境，管理并维护测试环境； 1、本科学历，数学或计算机相关专业背景，985院校毕业，2年以上算法相关工作经验。或者硕士以上学历，具有机器学习，深度学习，数学，物理，计学，信号处理，软件，电子信息等背景，1年以上算法相关工作经验； 2、熟悉python，C++等编程语言； 3、熟悉深度学习，NLP相关模型，TensorFlow，pytorch等框架； 4、熟悉异构计算和并行计算的特点和开发要点，有深度学习，NLP相关工作经历为佳； 5、掌握TensorFlow Serving，docker，有大规模并行计算的部署经验等为佳； 6、具备良好的沟通能力，有较强的团队精神和责任心； 前端开发工程师_Android 1、5年以上Android开发经验，3年以上的Team leader经验； 2、精通Android开发平台及框架原理，熟悉Dalvik/JVM工作原理，具备安全意识、掌握数据加密、代码混淆、性能优化等技术； 3、精通Android应用软件架构，设计模式，在Android应用设计和开发方面拥有扎实的技术功底； 4、良好编程习惯和文档编写习惯，高质量编码能力； 5、善于独立学习、具备良好的分析解决问题能力、具备技术钻研能力； 6、具有良好的团队精神和较强的工作责任心； 1、负责Android APP的系统分析、整体架构与核心模块的设计、开发与维护； 2、及时跟进Android OS技术发展、对新技术进行挖掘、预研和实施； 3、负责APP性能优化，疑难问题的分析及解决，排除各类潜在技术风险； 4、负责前端Android技术团队开发规范的建立，提升前端Android技术团队整体开发效率

给出了一个寄存器架构的虚拟机模型Micro-Dalvik包括虚拟机指令集和虚拟机运行时状态的形式化并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转换.最后以定理的形式描述了语义满足的性质并得到证明.这个模型的指令集包括了大部分Dalvik虚拟机指令为获得形式语义的清晰化它在Dalvik VM指令集上进行了必要的抽象对其实质没有改变因而具有较大的实用性.该形式化模型通过了定理证明助手Isabelle/HOL的验证.