1樓：
邏輯學專業來強答一番。
稍微學過一點計算複雜性的內容，但是發現找工作的時候一點幫助沒有。國內的計算機行業，並沒有這方面需求。
不過有很多國外的大公司老是給我老師發郵件。可能國外會比較重視這方面的人才。
2樓：
tcs念了一年半退圈，導師做的是並行和分布式計算，讀著讀著覺得沒什麼卵意思。同學ucla跟乙個.net的大牛讀博，後來去了一家資料公司。
我個人的感覺是tcs讀到博士要麼就弄理論性很強的東西，比如高階邏輯，和一些非經典邏輯的證明論，然後畢業就失業，或者搞工業應用但是拿個ms出去混飯就夠了
3樓：Gusttavo Chan
哈哈哈，我也在糾結這個問題，舉個栗子，就算在日本這種科研經費爆棚的國家，做TCS也很難找教職，更別提industry。隔壁組副教授做term rewriting的日本人，筑波畢業奧地利博士回國，根！本！
找！不！到！
工作，據說在同伴家裡打地鋪打了幾個月才拿到我們學校的教職。TCS現在的地位很尷尬，聽著高大上但是基本工業應用很少，轉程式模型檢查可能還好搞一點，這也就是為什麼TCS基本集中在歐洲那幾個國家在搞。我一向認為只有特別喜歡搞研究的人才適合讀博，題主如果超級喜歡TCS，好好搞搞，國內教職不說國外教職還是找得到的。
4樓：
好的高校招人看方向，因為會有課題組啥的
如果去地方性二三本方向不太要緊。
然而...
為什麼不建議計算機博士去高校？網際網路高薪會長期保持或繼續增長嗎？
5樓：浩月
今年教授考核會上，我們理論方向的領頭人，也是我們前系主任付老師的總結comments「沒有一流的理論計算機研究，就沒有一流的計算機系」，我們系主任回應「完全同意，並且鼓勵在理論計算機方向大力招人」，據了解我們系應該有從普林斯頓做理論方向的老師加盟。
然而，個人感覺做理論的方向在中國目前的階段下比較難生存，主要是目前中國的研究強調「面向國家的重大需求」，而理論是很難短期內看到實用的。國內也缺少十年磨一劍的氛圍與土壤，挺難的。
好處是：難，所以競爭相對少一點，如果確實做的好，還是有機會出來
6樓：uv0xab
同為FM坑中PhD。我堅信這個行業未來是會火的，具體什麼時候火就說不好了。另外這個專業找工作不算難找吧，不過這也要看具體做的是什麼方向。。
7樓：rainoftime
首先，FM大類裡面之間也是千差萬別的，不可同一而論！
比如從核心方法的角度，形式化方法涉及但不限於以下內容：
自動定理證明
互動式定理證明
模型檢查
以驗證為目標的程式分析
數學優化、約束求解等（線性規劃、整數規劃...； SAT、CP..）自動機、形式語言理論等
計算機代數/符號計算
型別系統、型別論
純數理邏輯（模型論、證明論，乃至集合論、遞迴論:）統計機器學習。。
（另：部分研究者對以上內容其本身也有貢獻）從面向的應用特點角度，也各有傾向設計層 VS. 實現層
自動化 VS. 互動式
軟體 VS.硬體
驗證功能屬性的強弱
....
FM大類下相關從業人員很可能互相不了解、不關心。。
然後回到問題本身(嘗試「同一而論」。。）：
產業界：會「歧視」，直接相關的企業／崗位實在是太少了。需求是肯定存在的（比如各種程式測試也是為了部分保證軟體可靠性嘛。。
），很多技術實際上也一直被使用著（比如Mathematica軟體～）
學術界：不談偏理論的（參考以上「核心方法的角度」，實在太廣）；偏應用的，FM相關方法正廣泛用於計算機系統與網路、計算機安全、軟體工程、程式語言、設計自動化、人工智慧等多個電腦科學領域～～ 。。
利益不相關，計算機安全方向學生（
8樓：Roison An
歪個樓，計算機理論領域好像有個特點是，發文章按照姓名的字母順序決定署名順序。。於是在國內的評價體系下，姓比較靠前的人會佔大便宜。。
9樓：
連生物都不如就太誇張了吧... 是比不過機器學習這種大熱門，但畢竟在cs系，再怎麼都能找機會認識點人，學點程式設計。師兄師姐都進不錯的網際網路公司了，工資也很高。
10樓：
要說找教職，tcs在計算機中的地位就相當於純數學在數學中的地位。純數學在數學系找教職有多難，tcs在計算機系找教職就有多難。但是我們有退路啊，可以去公司。
我認識的大多tcs出來的博士、博后後來退出學術圈的待遇還不差，基本上沒有改行的。
總之，tcs的熱點就是如此變換莫測。我的建議就是好好把手頭的方向做好，經典技術學會，涉及的數學基礎學紮實，。其實tcs涉及的數學真不多，除非像GCT那種方向，大部分還就是概率統計線性代數等，等你出來後再趕熱潮也來得及。
「趁年輕的時候，把技術性的東西學會了，這樣下乙個浪潮來的時候就不會錯過」這是曾經乙個長者教育過我的話。
11樓：
前不久在NIPS跟人聊到了TCS找教職的難度。好幾個MIT、CMU這些名校TCS做得非常牛的博士（FOCS、STOC發了很多篇）最後去了排名50左右的學校做AP。ML、CV這些領域同樣水平的PhD估計能去個Top 10的名校了。。。
還見到做graph theory的人找教職的時候堅決否認自己跟TCS有任何關係，一口咬定自己是data scientist。
TCS找教職確實難，但是找碼農工作並不難。IT公司面試的那些演算法題對於TCS的博士都是小兒科。何況TCS搞得好的人都是絕頂聰明的的人~
12樓：
一般來說，做計算機理論方向的研究，需要很好的基礎，包括演算法，資料結構，數學相關。再加上幾年的研究經歷，學習能力和解決問題的能力都很強。畢業之後想去工業界，選擇也沒有你想象中那麼少。
我知道的在香港做計算機理論的博士去工業界的出路都還不錯，比如Google, Facebook, Jane Street。另外，還有去做私募的。
13樓：小張兵嘎
不要把fm和工程分割開嘛，越來越多的工程會越來越向fm靠近。話說要fm那麼難的都能學溜，真想先個別的工作，比如搞個dl ml啥的不就是幾天就入門的事嘛，反正工程界要求就是熟練應用現有工具
14樓：圓胖腫
看你怎麼定義歧視了，其實我覺得非理論方向根本就不應該有phd，應用碩士搞就足夠了，博士畢業各位如果不介意回國發展的話，可以先給我發個簡歷，我看看有沒有位置
15樓：
位置比較尷尬。對搞工程的來說太難有沒有什麼用，不想搞。對搞數學的就是一堆概率論、組合、數論、代數等的大雜燴，逼格不夠不屑搞。
16樓：
本人土鱉青椒，建議如果能出國就出國吧高校的門檻越來越高編制不增加退乙個才能進乙個進人也要PK， 熱門方向自然有優勢。估計未來大量的兄弟姐妹會走項聘或者科研編制這個收入差不多完全從專案走自然也只有那些有錢的專案組能聘得起做形式化的依然是弱勢。如果不想出國，某些科研院所也許有這方面的需求，比如科學院的各種所，這就需要自己去一家一家找了，如果找到了，待遇通常還不錯。
推薦些計算機理論書籍吧。
史丹福大學的Introduction to Automata Theory,Languages,and Computation 3rd Edition MIT的Introduction to the Theory of Computation 兩本關於計算機理論很好的入門書，詳細介紹了計算機的計算能...
計算機視覺方向博士如何做好科研？
小林 馬上步入研二的我還是沒有找到更好的研究方向，又想做過場景分類，影象分割，影象還原，但是一做上去就感覺濛濛的，乙個人做是真的很頭疼，馬上就要開題了，到現在還沒有什麼思路。有想過出去實習，但老闆一直不放人，必須要先出成果。求建議！ 伯樂九君 找個優異的計算機視覺專家做導師。國內以譚鐵牛為規範來找。...
計算機博士能否做理論物理方面的科研
夜火星淡 這要看你計算機方面專業是什麼以及你想做的是理論物理是哪方面。想做解析方面的話需要學習的東西太多並且不能發揮你的專業優勢。所以建議做數值方向。下面列一些可能的方向 高能物理 大資料處理對撞機結果 凝聚態理論 多體量子模擬目前在發展各種神經網路演算法，和深度學習也有密切關係。第一性原理計算方面...