职位&公司对比

职位详情

• 上海
• 不限
• 本科

• 虚拟机
• 编译器
• 运行时
• 编程语言

<职责描述> 1、聚焦编程语言，负责编程语言语言特性/领域语言（DSLBOSS直聘）设计，负责新编程语言的布道； 2、负责编程语言基础设施设计与实现，包括：编译器、运行时/虚拟机、工具链（静态检查工具、包管理工具、kanzhun格式化工具、文档工具、调试器）等； 3、参与编程语言前沿方向研究与探索，包括：类型系统、语言语义及程序逻辑、程序分析、程序验证等。 4、负责语言标准库（网络库、加解密库、正则库、数学库等）设计开发与维护。 <基本要求> 1、有扎实的编程功底，精通至少一门编程语言，包括但不限于：C++、C、Java、Go、Kotlin、Rust、Swift等； 2、具备扎实的数据结构理论基础，有一定的算法设计来自BOSS直聘和开发能力。 <优先条件> 1、有语言设计相关工作经验（包括通用语言&DSL）者优先； 2、有编程工具和软件工程经验者优先，如有bug detection工具，performance analysis工具； 3、有编程语言编译器(Parser、Lexer、语义、codegen)实现经验者优先； 4、有任意语言虚拟机、Runtime的开发分析经验优先，包boss括Go Runtime、JVM、JS Engine、Webassembly Runtime等； 5、熟悉LLVM/GCC编译器架构、熟悉Clang或其他编译器前端者优先。