[TYPES/announce] Postdoc position in the area of formal verification

[Taolue Chen]

[Apology for cross-posting.]

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 at mdx.ac.uk, taolue.chen at gmail.com)
 http://www.eis.mdx.ac.uk/staffpages/taoluechen/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20161208/23997a92/attachment.html>