[新竹] 男 程式語言 函數式程式設計 數理邏輯

[Rust (lang)]

1.科目：

Rust, Haskell, Idris, Agda 等程式語言
Rust 和 Haskell 的部分至少能從零教學到可以實際應用
其他程式語言偏理論
至少需要有 Haskell 的基礎
並且要搭配數理邏輯的課程一併教學

2.地點：

竹北六家或從六家能坐火車或公車到的地方

3.時間：

可討論

4.希望待遇：

每小時500~700

5.教師性別：

男

6.學歷：

特殊選才進入清華大學清華學院學士班（不分系）
分流至清華大學外語系
目前就讀清華大學資應所二年級

7.連絡方式：

E-mail: [e-mail]

8.自介或經歷：

超過十年前就開始學習Haskell與Rust
以 GitHub 專案與技術文章以特殊選才進入清華學院學士班就讀
於中央研究院資訊科學研究所擔任研究助理，使用 Haskell 進行研究開發
在 FLOLAC 2024 程式語言理論暑期班擔任助教
碩士於國立清華大學程式語言實驗室進行研究
曾對開源遊戲進行貢獻

多益905分
日文N3

歡迎也想要以特殊選才作為升學管道的學生

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.241.91.165 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/need_student/M.1772388581.A.F87.html