After completing a doctorate, he worked with Alexander Grothendieck at the the Institut des Hautes Etudes Scientifiques near Paris, initially on the generalisation of Zariski's main theorem. He also worked closely with Jean-Pierre Serre, leading to important results on the l-adic representations attached to modular forms, and the conjectural functional equations of L-functions. He also collaborated with David Mumford on a new description of the moduli spaces for curves: this work has been much used in later developments arising from string theory.
From 1970 until 1984, when he moved to the IAS in Princeton, Deligne was a permanent member of the IHES staff. During this time he did much important work, besides the proof of the Weil conjectures: in particular with Lusztig on the use of etale cohomology to construct representations of algebraic groups, and with Rappaport on the moduli spaces from the ‘fine’ arithmetic point of view. He received a Fields Medal in 1978.
In terms of the completion of some of the underlying Grothendieck programme of research, he defined absolute Hodge cycles, as a surrogate for the missing and still largely conjectural theory of motives. This idea allows one to get round the lack of knowledge of the Hodge conjecture, for some applications. He reworked the tannakian category theory in his paper for the Grothendieck Festschrift, employing Beck’s theorem – the tannakian category concept being the categorical expression of the linearity of the theory of motives as the ultimate Weil cohomology. All this is part of the yoga of weights, uniting Hodge theory and the l-adic Galois representations. The Shimura variety theory is related, by the idea that such varieties should parametrise not just good (arithmetically interesting) families of Hodge structures, but actual motives. This theory isn’t yet a finished product – and more recent trends have used K-theory approaches.