Jesus, Edson Regis de, Instituto Federal do Rio Grande do Sul (IFRS)