Applications are invited for a Postdoctoral Research Fellow position working on formal verification. The work is being funded by EPSRC. The aim of the project is to carry out perturbation analysis for quantitative verification, i.e., (1) to analyse how the verification result is affected by the perturbation of parameters and to provide a quantitative measure thereof; and (2) to develop software tools to facilitate the perturbation analysis. The toolkit will be employed to conduct case studies on real-world problems. For some background on the kind of work, see the following papers http://www.eis.mdx.ac.uk/staffpages/taoluechen/pub-papers/fase16.pdf http://www.eis.mdx.ac.uk/staffpages/taoluechen/pub-papers/TSE16.pdf http://www.eis.mdx.ac.uk/staffpages/taoluechen/pub-papers/concur14.pdf The postdoc will be supervised by Dr Taolue Chen and be based in the Department of Computer Science at Middlesex University London, UK. We offer a competitive salary (in the range of £36,179 to £41,560 per annum). The post is available for one year. To apply, you must hold (or be close to achieving) a PhD in Computer Science or a closely related discipline. You should have demonstrated your research competence through high-quality and high-impact publications in formal verification. Informal enquiries are strongly encouraged and should be made to: * Dr Taolue Chen (t.chen@mdx.ac.uk, taolue.chen@gmail.com) http://www.eis.mdx.ac.uk/staffpages/taoluechen/
Master of Science in Informatics at Grenoble (MOSIG 2016-2020)
