He was appointed Foundation Professor of Computer Science at the Australian National University in 1978.
In March 1998 he became the Statutory Professor of Computing Science in the University of Oxford.
In March 2005 he took up a 5-year position as ARC Federation Fellow in the Mathematical Sciences Institute and the Research School of Information Sciences and Engineering at the Australian National University.
He was also Visiting Professor at the University of Oxford Sept 2005 - Sept 2011.
In March 2010 he became a Distinguished Professor of Mathematics and Computer Science with a joint appointment in the Mathematical Sciences Institute and the Research School of Computer Science at the Australian National University. Since September 2011 he has been an Emeritus Professor at ANU and a member of CARMA.
Chief Investigator with J. Cannon and D. Stehlé in the ARC Discovery grant DP0880724 Integral lattices and their theta series, $360K for 2008-2010.
Chief Investigator with B. B. Zhou in the ARC Discovery grant DP0985271 An integrative and interactive approach for co-estimation of multiple sequence alignment and phylogeny reconstruction, $230K for 2009-2011.
Chief Investigator with M. Hegland et al in the ARC Linkage Project LP110200410 Robust numerical solution of partial differential equations on petascale computer systems with applications to tsunami modelling and plasma physics, $446K for 2011-2014.
Chief Investigator with J. Borwein and D. Bailey in the ARC Discovery Grant DP140101417 Exploratory Experimentation and Computation in the Mathematical Sciences: Theory and Practice, $415K for 2014-2017. The rationale is given here.