[3] Antes de su doctorado, Jones trabajó para IBM, entre los laboratorios de Hursley y Viena.
En Viena, Jones trabajó con Peter Lucas, Dines Bjørner y otros en el Método de Desarrollo de Viena (VDM), originalmente como método para especificar la semántica formal de los lenguajes de programación, y posteriormente para especificar y verificar programas.
Ha sido redactor jefe de la revista Formal Aspects of Computing.
[5] Además de los métodos formales, Jones también se interesa por los aspectos interdisciplinarios de la informática y la historia de la informática.
[6] Jones es autor y editor de muchos libros, entre ellos: