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.aspin...@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. ------------------------------------------------------------------------------ Developer Access Program for Intel Xeon Phi Processors Access to Intel Xeon Phi processor-based developer platforms. With one year of Intel Parallel Studio XE. Training and support from Colfax. Order your platform today. http://sdm.link/xeonphi _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
