Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoc in SDN verification and security at Ed...

Email Gateway (Aug 22 2022 at 14:57):

From: David Aspinall <David.Aspinall@ed.ac.uk>
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

Last updated: Apr 20 2024 at 12:26 UTC