In this lecture, an overview of current F-theory model building techniques is presented. In F-theory GUT symmetries are associated to the singularities of the elliptically fibred internal (compact) space. Models with gauge groups emerging as subgroups of the exceptional group E8 are presented. Moreover, GUTs with abelian and discrete symmetries arising from a non-trivial Mordell-Weil group associated to rational sections of the elliptic fibration are analysed.