Rye, Johan Fredrik, Norges teknisk-naturvitenskapelige universitet