@@ -5,7 +5,7 @@ We are looking to recruit one postdoctoral researcher in the Program Specificati
<b>\*\*\* Deadline: 18th September \*\*\*</b>
This position will have an initial duration of 2.5 years, with a certain level of flexibility with respect to the start date and possible extensions. It will be funded as part of the £5.6M EPSRC Programme Grant <ahref="https://www.cl.cam.ac.uk/~pes20/rems/"target="_blank"> "REMS: Rigorous Engineering of Mainstream Systems"</a>, at the University of Cambridge, University of Edinburgh, and Imperial College London
This position will have an initial duration of 2.5 years, with a certain level of flexibility with respect to the start date and possible extensions. It will be funded as part of the £5.6M EPSRC Programme Grant ["REMS: Rigorous Engineering of Mainstream Systems"](https://www.cl.cam.ac.uk/~pes20/rems/index.html), at the University of Cambridge, University of Edinburgh, and Imperial College London
The Department of Computing at Imperial provides a vibrant and stimulating research environment in the heart of London, with leading research groups working on programming languages, verification, and testing. The quality of the Department has been consistently awarded the highest research and teaching rating. In the latest Research Excellence Framework assessment of 2014, the Department was ranked third (first in the Research Intensity table published by the Times Higher). In addition, at the last national assessment of teaching quality, the Department was rated as "Excellent" and came 2nd in The Complete University Guide, The Guardian, The Times and The Sunday Times national league tables by subject.
