SEWORLD Archives

SEWORLD

SEWORLD@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject: Postdoctoral position in Verified Security
From: SEWORLD Moderator <[log in to unmask]>
Reply-To:SEWORLD Moderator <[log in to unmask]>
Date:Mon, 29 Jul 2019 12:58:02 -0000
Content-Type:text/plain

Apologies for multiple postings...


--------
The Department of Computer Science at the University of Surrey seeks to recruit an outstanding post-doctoral researcher in the field of formal verification of security for a full-time position as soon as possible after 16th September 2019.

The post is part of the 18.5 month project “FaCT: Faithful Composition of Trust”. The main responsibility of the post holder will be to:

1. implement a lightweight Trusted Platform (TP) that relies on the guarantees provided by a verified microkernel such as sel4 to ensure isolation, and
2. investigate the end-to-end security guarantees that can be provided for communicating TP systems.

The post holder will be working closely with researchers within the security group at Surrey and partner universities. The post holder will benefit from the research environment provided by the Surrey Centre for Cyber Security, an Academic Centre of Excellence in Cyber Security Research recognised by the British Government. The Centre’s research focus is on the design and analysis of security protocols, data privacy, access control, privacy preserving security, trustworthy systems, and distributed ledger technologies.

Informal enquiries are welcome and should be directed to Dr Brijesh Dongol, [log in to unmask]<mailto:[log in to unmask]> or Dr Santanu Dash, [log in to unmask]<mailto:[log in to unmask]>.

The University of Surrey is among the highest achieving universities in the United Kingdom, having been awarded the Times/Sunday Times University of the Year Award for 2016. We are ranked in the top 10 in the Guardian University Guide 2018. In addition to your salary you will receive a generous annual leave entitlement, pension provision and excellent development opportunities. Our benefits package also includes an exclusive discounted membership package to the Surrey Sports Park and an on-site Nursery. The University is committed to equality of opportunity in employment and offer many opportunities to help researchers develop as independent researchers.

Apply online or download application documents and further information at http://jobs.surrey.ac.uk/056319. If you are unable to apply online please contact Bianca Barrett ([log in to unmask]<mailto:[log in to unmask]>).

Closing date for applications: 27th August 2019
Expected start date: 16th September 2019

Salary: £31,302 to £35,211 per annum

============================================================
To contribute to SEWORLD, send your submission to
mailto:[log in to unmask]

http://sigsoft.org/resources/seworld.html provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.
============================================================

ATOM RSS1 RSS2