睇下下面嘅段落,然後用段落嘅語言回答問題:  1947年,戴森以G.I.泰勒嘅建議同推薦搬到美國做英國聯合國研究員,喺康奈爾大學 (1947年至1948年) 同漢斯·貝特 (Hans Bethe) 獲得物理博士學位. 喺嗰度,佢認識咗理查德費曼 呢位即將上任嘅英國物理學家 認出咗呢位出名嘅美國物理學家嘅聰明 兼且盡快將自己融入到佢當中 之後,佢去咗高等研究院 (1948年至1949年),返到英國 (1949年至1951年),喺伯明翰大學做研究員.喺1949年,戴森證明咗量子電動力學 (QED) 兩種公式嘅等價性:理查德費曼嘅圖表同埋Julian Schwinger 同Shin'ichirō Tomonaga 研發嘅運算子方法. 佢係喺開發者之後 第一個了解法恩曼圖嘅力量嘅人 佢喺1948年寫嘅論文 喺1949年出版嘅論文 係第一個利用佢嘅人 佢喺論文度話 <unk>曼圖唔單止係計算工具 佢仲係一個物理理論 佢開發咗 對於呢啲圖形嘅規則 完全解決咗"重規范化"嘅問題 戴森嘅論文同佢嘅講座用其他物理學家都可以理解嘅形式 呈現咗費曼對量子推論嘅理論 方便咗物理学界接受費曼嘅研究 特別係 J. Robert Oppenheimer 被 Dyson 覺得法恩曼嘅新理論同施溫格同托蒙加一樣正確 歐本海默獎勵戴森喺高等研究院做終身研究員, 用歐本海默嘅說話, "因為佢證明咗我係錯嘅". 同樣喺1949年,喺相關嘅工作中,戴森發明咗戴森系列. 呢份論文啟發 John Ward <unk>出佢出名嘅 Ward <unk> Takahashi 身份.喺 1951 年 Dyson 加入康奈爾大學嘅物理系教授,雖然佢仲未獲得博士學位,喺 1953 年,佢喺新澤西州普林斯頓大學嘅 Institute for Advanced Study 得到一份永久嘅職位,佢一直喺嗰度. 1957 年,佢成為咗美國公民 同時放棄英國国籍  問:戴森做嘅呢個項目叫咩名?
Orion計劃