 He then moved to the Institute for Advanced Study (1948–1949), before returning to England (1949–51), where he was a research fellow at the University of Birmingham.In 1949, Dyson demonstrated the equivalence of two formulations of quantum electrodynamics (QED)