Ribeiro, António, Universität Coimbra