En 1949 Dyson demostrou a equivalencia de dúas formulacións de electrodinámica cuántica (QED): o diagrama de Richard Feynman e o método operador desenvolvido por Julian Schwinger e Shinir Ward. Foi a primeira persoa despois do seu creador en gañar un doutorado en física con Hans Bethe na Universidade de Cornell (1947-48). Alí fixo a coñecida de Richard Feynman. O físico inglés en ciernes recoñeceu a brillantez do flamante americano, e uníuse o máis rápido posible.
Proxecto Orión