[錄取] Logic CS PhD TalTech

●前言

撰寫此文的目的是分享這一路上所找到的資源（特別是國內有志於邏輯研究的人不多，出國留學的資源也沒有很好地彙整），並且以自己為借鏡，期許未來的學弟妹能走得順利。

準確來說，我一路上不是個好學生，雖然有出國的想法，但是在學術的累積上卻不是很充分。這種情況下的我也靠著蒐集資訊、積極聯絡和上天給我的幸運找到了出路，未來優秀的學弟妹們一定能比我做得更好。

●研究領域

數理邏輯、證明論和範疇邏輯

Mathematical logic, proof theory(in particular, structural proof theory), and categorical logic

●申請學校/結果

admitted: ANU CS PhD(w/o scholarship), Tallinn University of Technology(TalTech) CS PhD(paid position)
rejected: Western Ontario Math MS, Wesleyan University Math PhD, INSA-CVL CS PhD

●大學及考試成績

CCU, BA in Philosophy, 2012-16, GPA: 2.53

CCU, MA in Philosophy, 2017-20, GPA: 4.00
IELTS: 7.0

●申請過程準備

可以從我的成績和英文看到，我的各項指標都非常平凡，甚至有點差。大學畢業後想出國繼續做研究的我，從碩一上開始就一直積極關注國外招生的動態。
當然，我這樣子的走向也有點本末倒置，因為在最後要畢業的時候，反而是我已經拿到了 offer，畢業論文卻還沒完全搞定。
所以還是希望以後的學弟妹不要像我一樣望著遠方，卻忘記把腳下的路走好，最後走得磕磕絆絆的。

我大約從 2019 年 10 月底開始聯絡國外教授，探尋有無招生，尋找老師的方式就是先大致看他們的 Area of specialization 是否與我有關，若有的話再看他最近發的文章，我是不是有興趣。若也有的話就可以開始擬信件了，首先我會 10 字內的自我介紹，然後直接闡明來意，詢問對方是否有在招生，明年是否有名額。
第二個段落闡述自己目前論文的題目，並且如何與教授的研究相關，提出一些潛在的課題（未必是真的很有意義，但是必須表達出你寫信不是來亂的，是深思過的），最後希望能與老師有合作的機會，期待您的回覆。

我一共寄出了 27 封，其中 25 封有回覆。正面看待申請的佔大多數（罐頭性質的正面，期待我提交申請之類的），另外有一部分闡明自己目前沒有經費或者要退休了，推薦我聯絡其他教授（研究室），並且給我聯絡方式。
剩下的教授給的回應非常正面，有希望我講述論文細節（2 位），要我提供更多資料（2 位），還有 1 位直接給我一個計畫框架，叫我寫出來之後申請，以及直接希望 Skype 聊聊 （3 位）。

Skype 上的聊天其實還算滿輕鬆的，大部分老師就是想確認我是不是個怪人，以及我信裡所寫的是不是真的我自己寫的。整個過程都是閒聊居多，對於論文的著墨我認為是不多的（當然有問到一些細節，可是並不刁鑽）。
其實到這一步（Skype 上聊天）就已經一隻腳踏進錄取門檻了，但是 2020 是命運多舛的一年，許多經費無法到位，以及對於外國人的限制等等，導致最後只有 TalTech 的老師能保證有足夠資金，也促成了我最後的選擇（不過並不是說這間學校或研究組不好，其實這裡的研究跟我是意想不到的契合，是我當初寄信時也沒想到的，所以也只能說我真的很幸運）。

另外值得一提的是 ANU，當初我是有申請世界百大獎學金的，可惜最後我在聯絡上沒有做好，錯過截止期限，以致於沒有申請成功，也希望能讓大家引以為戒。

●結論

我在 2020 年 3 月的時候就收到 ANU offer 了，可是由於沒有獎學金，所以也無法真的成行，還好後來能遇到 TalTech 的老師，以及最後完成論文時，我的指導教授不辭辛勞地為我改論文，陪我討論，以及教育我做學術的態度。
沒有這些幫助以及幸運，我現在絕對無法在電腦前，做著我想做的事情，並且打下這篇文章。

●參考網站和 MailingLists

http://settheory.net/world

這個網站如其名，盡可能地收集了世界上邏輯和集合論的研究者和研究組，我當時就是一個一個找，找出與我興趣相符的教授。

http://resources.illc.uva.nl/LogicList/

這個 mailing list 專門收集邏輯學界的最新消息。

https://sites.google.com/site/sensereferenceandthought/

這是許多優秀的哲學系學長姐共同維護的網站，可以在上面找到許多關於哲學系的申請指南。

https://www.philosophicalgourmet.com/

這個網站彙整了世界排名靠前的哲學系 programs，當然也能找到數理邏輯和哲學邏輯的 programs。

https://www.liverpool.ac.uk/philosophy/philos-l/

這個 mailing list 可以讓你每天接收哲學界最新的消息（研討會、事件、PhD positions）。

https://www.zaik.uni-koeln.de/AFS/publications/dmanet/

這個 mailing list 專門收集有關離散數學界的最新消息，偶而也會有跟邏輯有關的 PhD positions。

--