Som teoretisk fysiker gav Dyson tidigt fundamentala bidrag inom kvantelektrodynamiken, speciellt i fråga om denna teoris renormerbarhet. Han visade att Richard P. Feynmans och Julian Schwingers skenbart oförenliga formuleringar av teorin var ekvivalenta och klarlade därvid dess struktur.