On his return from the United States he became a College Lecturer at Trinity Hall Cambridge. His work turned towards K-theory, the generalised cohomology theory on vector bundles. Using this theory he solved another important conjecture, this one being about vector fields on spheres.