参考下面的段落,然后以相同的语言回答后面的问题:  经过G. I. 泰勒的建议和建议,戴森于1947年作为英联邦研究员移居美国,在康奈尔大学 (1947年至1948年) 与汉斯·贝特一起获得物理学博士学位. 在那里他认识了理查德·费曼. 这位<unk>勃发展的英国物理学家认识到这位华丽的美国人的天赋, 然后,他转到了高级研究院 (1948年至1949年),然后回到英格兰 (1949年至1951年),在那里,他成为伯明翰大学的研究员.在1949年,戴森证明了量子电动力学 (QED) 的两种公式的等价性:理查德·费曼的图表和朱利安·施温格和辛伊罗·托莫纳加开发的运算子方法. 他是第一位在创作者之后欣赏费曼图的力量的人,1948年撰写并于1949年出版的论文是第一个使用它们的人. 他在论文中说费曼图不仅仅是一个计算工具, 而是一个物理理论, 戴森的论文以及他的讲座以其他物理学家可以理解的形式呈现了费曼的QED理论,从而促进了物理学界对费曼的工作的接受. 尤其是罗伯特·奥本海默 (J. Robert Oppenheimer) 被戴森说服,费曼的新理论与施温格和托莫纳加的理论一样有效. 奥本海默奖励戴森在高级研究研究所终身任职",为了证明我错了",用奥本海默的话说.同样在1949年,在相关的工作中,戴森发明了戴森系列. 正是这篇论文激发了约翰·沃德 (John Ward) 获得他著名的沃德·塔卡哈希身份的灵感.在1951年,戴森加入康奈尔大学的物理学教授,尽管他还没有博士学位,1953年他获得了普林斯顿高级研究院的永久职位,一直在新泽西州. 1957年,他成为美国公民, 并放弃了英国国籍....  问题:戴森所参与的项目叫什么?
猎户座项目