· Professor of Automated Reasoning, University of Edinburgh1990–
· Reader, University of Edinburgh1984–1987
· University Lecturer, University of Edinburgh1973–1984
· Professor Emeritus, University of Edinburgh1971–
· Researcher, University of Edinburgh1971–1973
· PhD in Mathematical Logic, University of Leicester1971–
· Honours Degree in Mathematics, University of Leicester1968–