Castro de Oliveira, Leonardo, Instituto Militar de Engenharia, Brasil