de Abreu e Silva, João, Instituto Superior Técnico, Portugal