[新竹] 男 程式語言 函數式程式設計 數理邏輯
1.科目：
Rust, Haskell, Idris, Agda 等程式語言
Rust 和 Haskell 的部分至少能從零教學到可以實際應用
其他程式語言偏理論
至少需要有 Haskell 的基礎
並且要搭配數理邏輯的課程一併教學
2.地點：
竹北六家或從六家能坐火車或公車到的地方
3.時間：
可討論
4.希望待遇：
每小時500~700
5.教師性別：
男
6.學歷：
特殊選才進入清華大學清華學院學士班（不分系）
分流至清華大學外語系
目前就讀清華大學資應所二年級
7.連絡方式：
E-mail: andyshiue851019@gmail.com
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
need_student 近期熱門文章
PTT職涯區 即時熱門文章