coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc in SDN verification and security at Edinburgh

From: David Aspinall <David.Aspinall AT ed.ac.uk>
To: coq-club AT inria.fr
Subject: [Coq-Club] Postdoc in SDN verification and security at Edinburgh
Date: Thu, 12 Jan 2017 15:19:23 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=David.Aspinall AT ed.ac.uk; spf=None smtp.mailfrom=David.Aspinall AT ed.ac.uk; spf=None smtp.helo=postmaster AT loire.is.ed.ac.uk
Ironport-phdr: 9a23:Bgsk1x29ykIcgNMRsmDT+DRfVm0co7zxezQtwd8ZseIWKPad9pjvdHbS+e9qxAeQG96Kt7Qf06GJ7+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fdbghMizexe71/IAm5oQjTucQdnJdvJLs2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpsRxL0hioKNTA0/HjLhsF/kalXpBKsqwB6z4PSfYqbNudxfrnFcN0ERWRPQ8VfWSJPDYyzc4QBAPEMPfpaooTnu1cCsRWzCAuqCejyyjFInHj23agi3uovCw7Gwg0gEM8Tu3nIt9X1LKYSUeavw6nMyTXIcvRb1znn54jWcxAuvOuAUK5rccrJyEkvERnKjlGUqYH+ITyay/4BvHKH4OZ6SOKviHcqpgdsqTahwccsj5PGhoMTyl3c6yp23Zw5KsekR0JhfN6kE51dvDyZOYtuWs4uXn9ktSIgxrEYpJK2fDIGxIkmyhLFdvCLb5CE7g/9WOuVOzt0mm9pdbKlixu27ESs0PDwWtS63VtMsyFLiMPDtmoX2BzW8sWHSuVy/kOm2TuX0wDT7eBEIVoqmqbBKp4h2aQ8mYQOvkjZBCD5hF/6jLKVdkk8++io7froYqn+q5OBKYN5jhvyProzlsG/G+g0LwkDU3KG9eigzLHj+Ff2QLROjv04iKnZt5XaKNwVqKGjHQ9V05ss5wyjAje9yNQYnH8HI0hBeBKDlIXmJUzBLOriAvijmVisjTRry+jcPrL9GpXNMmTDkLD5cLlh7E5c0RM/wsxb55JJEb4MO+nzW0/0tNzAFBA1KQ20w+D9CNV8zIwSQ2yPArXKeJ/V5FSP/6ckJ/SGTI4Tojf0bfY/tND0inpstVYDfKXh9IAPaXaxGvAud2mQf3vgxP4aCWYMtw46ZOHmzlSJFyNQMSXhF5kg7y02Xdr1RbzIQZqg1eHZ0Q==

Dear All,

We have an opening for a postdoctoral Research Associate to work on
formal modelling and verification for network security applications of
SDN (Software Defined Networking) at University of Edinburgh.

For details please see here:

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=038513

The post is available for a year with a possibility of extension subject
to funding. It would suit somebody with a background in (ideally)
formal methods, networking and security.

I welcome people to contact me to discuss informally.

- David

--
Prof. David Aspinall, Email:
David.Aspinall AT ed.ac.uk
LFCS, School of Informatics, URL: http://homepages.inf.ed.ac.uk/da
University of Edinburgh, Office: +44 (0)131 650 5177
10 Crichton Street, Mobile: +44 (0)773 809 2693
Edinburgh. EH8 9AB U.K. Office: Room 5.12A, Inf. Forum

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

[Coq-Club] Postdoc in SDN verification and security at Edinburgh, David Aspinall, 01/12/2017