Mália, Miguel, Instituto Superior Técnico, Portugal