A transistor in which the state of an interface between an oxide semiconductor layer and an insulating film in contact with the oxide semiconductor layer is favorable and a method for manufacturing the transistor are provided. Nitrogen is added to the vicinity of the interface between the oxide semiconductor layer and the insulating film (gate insulating layer) in contact with the oxide semiconductor layer so that the state of the interface of the oxide semiconductor layer becomes favorable. Specifically, the oxide semiconductor layer has a concentration gradient of nitrogen, and a region containing much nitrogen is provided at the interface with the gate insulating layer. A region having high crystallinity can be formed in the vicinity of the interface with the oxide semiconductor layer by addition of nitrogen, whereby the interface state can be stable.