加 JD：BJ70

bunbun.md

@@ -63,6 +63,8 @@
 
 ## 社团招新
 
+[实习岗位 JD](https://github.com/lazyparser/weloveinterns/blob/master/open-internships.md)
+
 重点来了。本社秉持「更多的人不一定带来更高的生产力」的观点，实行**高门槛招募**。如果你想要加入我们，我们期望你拥有如下素质，不过如果你在某一个特定的方面**特别优秀**的话，可以无视这个标准。事实上，目前的成员其实基本全都不满足所有的标准，但是这些人都「在特定的方面特别优秀」。如果你能加入这个团队，你将和这样的一群人共事！
 
 + 满足 PLCT 评级标准中的「[LV4 - 大能力者](https://github.com/lazyparser/weloveinterns/blob/master/how-do-we-rank-interns.md#lv4-大能力者)」的大部分要求，以及 PLCT 的[入职要求](https://github.com/lazyparser/weloveinterns/blob/master/so-you-want-to-join-us.md#%E4%BD%A0%E9%9C%80%E8%A6%81%E6%BB%A1%E8%B6%B3%E7%9A%84%E6%9D%A1%E4%BB%B6%E6%8A%80%E6%9C%AF%E5%B2%97%E4%BD%8D)。我们不要求掌握对于 LLVM 那种规模的怪兽级项目的拿捏能力，但是我们要求对于十万行 Java 代码这个规模的项目的掌控能力。编程语言方面，我们仅要求掌握 Java，但是熟悉 Haskell 或任意一个定理证明器（Agda, Coq, Lean, Idris, Nuprl, Isabelle, HOL, Andromeda, Arend, Beluga, Epigram, Dedukti, Cedille, Twelf, [Matita](http://matita.cs.unibo.it/) 等）或者逻辑编程语言（Prolog, Datalog）将会是一个很大的加分点。

open-internships.md

@@ -58,20 +58,49 @@ PLCT全称是程序语言与编译技术实验室，隶属于中科院软件所
 等软件基础设施的技术革新，具备主导开发和维护重要基础设施的技术及管理能力。与此同时，努力成为编译领域培养尖端人才的黄埔军校，推动先进编译技术在国
 内的普及和发展。
 
-(Next Job ID: 70)
+(Next Job ID: 71)
 
-### BJ69 Deepin RISC-V 操作系统构建实习生 (8个名额)
+### BJ70 Aya 全套生态开发实习生
 
-工作内容： 从事 Linux 发行版的软件包构建、测试、分析工作。
+**工作内容**
 
-要求：
+PLCT Aya 小队致力于研发划时代的类型论实现，包括如何更好地通过元编程技术和约束求解算法来实现程序和证明的自动化生成、如何「正确」地设计一些在学界前沿尚有争议的问题、如何利用当代 OpenJDK 的生态来为这一切打下基石。
+
+0. 实现并参与实现 Aya 的各种语言特性、标准库、工具链（IDE、包管理等）。
+2. 追踪相关领域的研究，调研世界上存在的广大竞品（Lean、Arend、Agda、Coq、Idris2 还有蝉语等），并向它们学习、与它们的作者交流。
+3. 向 PLCT 输出我们学到的知识，可以是博客或者周会报告的形式。
+4. 尽可能解决 Aya 的用户遇到的问题。
+
+**能力要求**
+
+0. 强制要求：PLCT 实习生评级 LV3·强能力者 (https://github.com/lazyparser/weloveinterns/blob/master/how-do-we-rank-interns.md)
+  + 对具体编程语言的要求可灵活处理，因为 Aya 的开发也不涉及 Python 等语言。
+  + 强制要求：英语读写能力、调试查错能力。
+2. 对编程语言理论、函数式编程有一定了解，熟悉至少两门函数式编程语言。
+3. 熟悉面向对象编程基本概念、常见设计模式。
+
+*加分项*
+
+0. 阅读编程语言领域的论文，并将相关研究融入 Aya 的实现中。
+1. PLCT 实习生评级 LV4·大能力者。
+2. 熟悉 JVM 相关技术，包括 IntelliJ 平台、性能调优、字节码生成等。
+3. 对文学编程有自己的理解。
+4. 对代码质量要求高，对重构持乐观态度。
+
+### BJ69 Deepin RISC-V 操作系统构建实习生（8 个名额）
+
+**工作内容**
+
+从事 Linux 发行版的软件包构建、测试、分析工作。
+
+**要求**
 
 - LV2+；喜欢从事开源软件开发工作。
 
 需要在提交简历之前，请完成以下工作：
 
-- 在amd64或其他架构操作系统架构使用 qemu-user 启动 Ubuntu/Debian riscv发行版 并输出neofetch截图
-- 在此基础上 使用 apt source neofetch 下载对应源码并完成升级版本号 并打包安装上 然后输出 apt policy neofetch 截图
+- 在 amd64 或其他架构操作系统架构使用 qemu-user 启动 Ubuntu/Debian riscv 发行版 并输出 `neofetch` 截图
+- 在此基础上，使用 `apt source neofetch` 下载对应源码并完成升级版本号 并打包安装上 然后输出 `apt policy neofetch` 截图
 
 ### BJ65 DynamoRIO 开发实习生（负责 RISC-V 移植及优化）