<职责描述>
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或其他编译器前端者优先。
<工作地>
杭州/上海/南京/北京