社会招聘
北京
2月 之前发布

岗位职责:

1.熟悉形式语言逻辑、类型理论;

2.熟悉编译原理;

3.熟悉多种不同范式的编程语言;

4.熟悉计算机架构、指令集、微架构优先;

5.具有独立解决问题的能力,良好的团队合作意识和沟通能力;

6.有gcc、llvm、libclang开发经验或者其他编程语言相关语义语法工具经验优先。

任职要求:

1.参与设计和实现一种新的应用开发语言;

2.参与编程语言工具链、基础库开发。