Professor Associado, Universidade de Lisboa (Dez.2015 - );

Professor Auxiliar, Universidade Aberta (Set.2005-Dez.2015);

Investigador da European Research and Training Network MODNET (Model Theory) (Jan 2005-Dec. 2008);

Assistente na Universidade Aberta (Set. 2003-Set.2005);

Investigador da European Research and Training Network RAAG (Real Algebraic and Analytic Geometry) (Sep. 2002-Sep. 2003);

Pós-doutoramento FCT, CMAF – Universidade de Lisboa e Mathematical Institute, University of Oxford (Jan. 2002-Aug. 2003);

EPSRC Research Fellow in Mathematics, University of Oxford (Jan. 2000-Dec. 2001);

DPhil in Mathematics, University of Oxford (2000);

Licenciatura em Matemática Pura, Universidade do Porto (1995).

Teoria de modelos (Lógica matemática). Estruturas o-minimais (teoría de modelos analítica, incluindo geometría semi-algébrica e sub-analítica). Aplicações da teoria de modelos.

Model theory (Mathematical logic). O-minimal structures (analytic model theory, including Semi-algebraic and Sub-analytic geometry). Applications of model theory.