In 1949, he became Deputy Director of the Computing Machine Laboratory there, working on software for one of the earliest stored-program computers—the Manchester Mark 1.