[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A fully-funded studentship is available in the Cyber Security Academy
(https://csa.southampton.ac.uk/) in the School of Electronics and Computer
Science at the University of Southampton (https://www.ecs.soton.ac.uk/) to work
with Dr Julian Ratke on using automatic transformations of code as a means of
enhancing software security whilst providing formal behavioural guarantees.
Skills needed are: good undergraduate degree in Computer Science or similar,
strong programming skills (preferably in C), strong mathematical skills and an
understanding of formal semantics and verifcation.
For full details see the advert at:
https://www.jobs.ac.uk/job/CAQ125/phd-studentship-automated-provable-safety-aware-software-rewriting-for-security
or email me directly at j...@ecs.soton.ac.uk<mailto:j...@ecs.soton.ac.uk>
Please note that this is UK government funded and has eligibility restrictions
of UK nationality.
Best Wishes,
Julian
Dr Julian Rathke
Associate Professor
Electronics and Computer Science
University of Southampton
Room 3215, Building 59, Highfield Campus
Southampton SO17 1BJ
Tel: +44 (0)2380599181
www.ecs.soton.ac.uk/<http://www.ecs.soton.ac.uk/>
