[TYPES/announce] Fully funded PhD studentship available at University of Southampton

[Rathke J.]

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 jr2 at ecs.soton.ac.uk<mailto:jr2 at 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/>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200710/feb8c0f9/attachment-0001.htm>