2003 onwards: Senior Lecturer
Department of Computer Science and Cork Constraint Computation Centre
University College Cork

1995-2003: Lecturer
Department of Computing Science, University of Aberdeen

1994-1995: Visiting Research Scholar
Computational Design Laboratory, Carnegie Mellon University

1991-1994: SERC-funded Postdoc RA in Bristol collaboration with Rover Group and Three Space Ltd

1991: PhD Conceptual Geometric Reasoning in AI and Engineering
Engineering Mathematics Dept and Design Information Group
Bristol University in collaboration with Rover Group

1987: MSc Mathematical Logic and Logic Programming
Department of Mathematics Manchester University

1986: BSc (Hons) Mathematics Glasgow University