O objetivo deste artigo é apresentar um modelo matemático de Programação Linear Inteira Binária (PLIB) para resolver o problema de escalas de trabalho para o serviço de guarda de soldados (militares) da Aeronáutica, de forma a definir os dias de serviço de guarda de cada militar, levando em consideração as suas preferências e as leis da hierarquia militar. Para a implementação e resolução do referido modelo, foi desenvolvido um programa computacional que serve como interface entre o usuário e o software LINGO, utilizado para resolver o modelo de PLIB. Para validar o modelo, várias simulações foram realizadas variando-se o número de militares, os seus pesos (graus de prioridade), as demandas diárias, os tipos de escalas e a possibilidade de se ter militares de sobreaviso. Os resultados foram bastante satisfatórios, comparando-se as escalas otimizadas com as escalas em uso por ocasião da coleta de dados (obtidas empiricamente). O modelo matemático apresentado pode ser facilmente adaptado e aplicado para outras forças armadas, se for o caso, já que todas elas possuem características semelhantes.