University of Surrey
Job title:
Research Fellow in Verification or Security or Concurrent / Distributed Systems
Company
University of Surrey
Job description
Research Fellow in Verification or Security or Concurrent / Distributed SystemsEmployer Location Surrey, United Kingdom Salary £36,024 to £39,347 per annum depending on experience Closing date 28 Jun 2024View moreAcademic Discipline , Job Type , Contract Type HoursSave job – Click to add the job to your shortlistYou need to or to save a job.Computer ScienceLocation: Guildford
Salary: £36,024 to £39,347 per annum depending on experience
Fixed Term Contract until 28/02/27
Post Type: Full Time
Closing Date: 23.59 hours BST on Friday 28 June 2024
Reference: 023924The Department of Computer Science at the University of Surrey is seeking to recruit a full-time postdoctoral researcher to work on a range of topics in the areas including:
- emerging hardware architectures (weak memory, RDMA, persistent memory, CXL);
- formal modelling, verification and/or logic;
- interactive and automated tools, such as theorem provers and model checkers;
- proofs of safety and/or security properties;
- programming languages and/or type systems;
- concurrent and/or distributed algorithms;
- and related topics.
The positions are funded by the UK Engineering and Physical Science Research Council (EPSRC) projects: Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT) ( ).About the roleThe successful applicant will work in a multidisciplinary team under the guidance of Brijesh Dongol (PI) and Gregory Chockler (co-I), as well as a large team of academics (Imperial, Kent, Sheffield, MPI-SWS, Cornell, IMDEA, etc) and industrial collaborators (Arm, NVIDIA, Galois), researchers and PhD students.Research EnvironmentSurrey is recognized by the NCSC as an Academic Centre of Excellence in Cyber Security Research and offers a thriving research environment with world-leading researchers. Brijesh Dongol is a Director of the NCSC/UK Research Institute on Verified Trustworthy Software Systems (VeTSS, ) hosted jointly at Surrey and Imperial.Our research includes security verification, protocol design and analysis, distributed and network systems, concurrency, data privacy, privacy preserving security, and applied cryptography. We offer access to a variety of cutting-edge hardware testbeds including a 7-node RDMA cluster (NVIDIA) as well as machines equipped with persistent memory (Intel Optane) and trusted execution environments (Intel SGX).The University is committed to equality and diversity. Research staff at the Department are supported and encouraged in their career development through mentoring and early career researcher training. The Department fosters a collegial and collaborative atmosphere, in which individuals are valued for the varied skills and perspectives they bring.About you
- We are looking for applicants that demonstrate strong research in one or more of the above areas backed by a strong publication record.
- Applicants must have or be close to obtaining a PhD in Computer Science.
Deadline for applicationsThe deadline for applications is 28th June 2024.This is a fixed term contract until 28/02/27, with the possibility of an extension to cover 36 months in total.Please submit the following four documents as your application (you can attach these as documents); a CV, Cover Letter, Research Proposal and Recent Relevant Publication.All these will be used to evaluate your suitability for the role.Further details:For more information and to apply online, please download the further details and click on the ‘apply online’ button above.In return we offer a generous pension, relocation assistance where appropriate , flexible working options including job share and blended home/campus working locations (dependent on work duties), access to world-class leisure facilities on campus, a range of travel schemes and supportive family friendly benefits including an excellent on-site nursery.The University of Surrey is committed to providing an inclusive environment that offers equal opportunities for all. We place great value on diversity and are seeking to increase the diversity within our community. Therefore we particularly encourage applications from under-represented groups, such as people from Black, Asian and minority ethnic groups and people with disabilities.Share this jobSave jobClick to add the job to your shortlistYou need to or to save a job.Get job alertsCreate a job alert and receive personalised job recommendations straight to your inbox.Similar jobs
- Surrey, United Kingdom
- Surrey, United Kingdom
- Shrivenham, United Kingdom
© 2015 – 2024 THE World Universities Insights Limited. Powered by Madgex Job Board SoftwareCloseBefore you apply –
Turn on alerts for jobs like this!We’ll send them straight to your inbox :What is your email address? requiredWhen you create this job alert we will email you a selection of jobs matching your criteria. Our and apply to this service and you can unsubscribe at any time.By clicking to continue to apply below, your email address will be shared with the employer.Create alert and continue to apply (This will open in a new window from which you will be automatically redirected to an external site after 5 seconds)
Expected salary
£36024 – 39347 per year
Location
Guildford, Surrey
Job date
Fri, 31 May 2024 07:33:33 GMT
To help us track our recruitment effort, please indicate in your email/cover letter where (un-jobs.net) you saw this job posting.