<职责描述>
1、聚焦编程语言，负责编程语言语言特性/领域语言（DSL）设计，负责新编程语言的布道；
2、负责编程语言基础设施设计与实现，包括：编译器、运行时/虚拟机、工具链（静态检查工具、包管理工具、格式化工具、文档工具、调试器）等；
3、参与编程语言前沿方向研究与探索，包括：类型系统、语言语义及程序逻辑、程序分析、程序验证等。
4、负责语言标准库（网络库、加解密库、正则库、数学库等）设计开发与维护。

<基本要求>
1、有扎实的编程功底，精通至少一门编程语言，包括但不限于：C++、C、Java、Go、Kotlin、Rust、Swift等；
2、具备扎实的数据结构理论基础，有一定的算法设计和开发能力。

<优先条件>
1、有语言设计相关工作经验（包括通用语言&DSL）者优先；
2、有编程工具和软件工程经验者优先，如有bug detection工具；
3、有编程语言编译器(Parser、Lexer、语义、codegen)实现经验者优先；
4、有任意语言虚拟机、Runtime的开发分析经验优先，包括Go Runtime、JVM、JS Engine、Webassembly Runtime等；
5、熟悉LLVM/GCC编译器架构、熟悉Clang或其他编译器前端者优先。

<工作地>

杭州/上海/南京/北京