Air transport activities must be inspected to ensure the adequacy of safety levels and operating procedures, in Brazil this activity is carried out by the National Civil Aviation Agency (ANAC). Several airports must be inspected and at each airport a different inspection may be required. The inspectors are located in ANAC centers in different states and it is important that the cost of this inspection activity is minimized, respecting the existing rules. In this sense, this master s thesis proposes two mathematical models for the allocation of qualified workforce to carry out inspection missions in the Brazilian territory. The objective is to define which employees will form in each inspection team, minimizing the cost of displacement of agents. The model proposed in this work is multi-period, for fortnightly operational planning, with the definition of the period that the activities must occur, of a team of multiskilled inspectors in inspection activities, multi-sources and multi-destinations. Modeling is done in LINGO and Julia using the JuMP package and the solvers Gurobi and CPLEX. Model 1 proposes a reformulation of articles in the literature and has a solution time between 2 and 25 times shorter. The second model takes into account aspects not considered so far in Model 1, in addition, given the amount of decision variables, it was used to solve the heuristic model based on the generation of columns with dynamic programming, proposed by the author, capable of reducing by up to 95 percent the amount of decision variables. The heuristic allowed obtaining an integer solution in instances that did not have a solution with the complete model.