1.科目： Rust, Haskell, Idris, Agda 等程式语言 Rust 和 Haskell 的部分至少能从零教学到可以实际应用 其他程式语言偏理论 至少需要有 Haskell 的基础 并且要搭配数理逻辑的课程一并教学 2.地点： 竹北六家或从六家能坐火车或公车到的地方 3.时间： 可讨论 4.希望待遇： 每小时500~700 5.教师性别： 男 6.学历： 特殊选才进入清华大学清华学院学士班（不分系） 分流至清华大学外语系 目前就读清华大学资应所二年级 7.连络方式： E-mail: [email protected] 8.自介或经历： 超过十年前就开始学习Haskell与Rust 以 GitHub 专案与技术文章以特殊选才进入清华学院学士班就读 於中央研究院资讯科学研究所担任研究助理，使用 Haskell 进行研究开发 在 FLOLAC 2024 程式语言理论暑期班担任助教 硕士於国立清华大学程式语言实验室进行研究 曾对开源游戏进行贡献 多益905分 日文N3 欢迎也想要以特殊选才作为升学管道的学生 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 123.241.91.165 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/need_student/M.1772388581.A.F87.html