2014- : Professor
Department of Computer Science University College Cork

2003-2014: 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, University of Bristol, collaboration with Rover Group and Three Space Ltd

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

1987: MSc Mathematical Logic and the Foundations of Computation
Department of Mathematics and Department of Computer Science, University of Manchester

1986: BSc (Hons) Mathematics University of Glasgow