This Job Has Expired! This advert has now been deleted by the advertiser, the details below are for information only.
This post is part of the EPSRC-funded project Verifying concurrent algorithms on weak memory models.
The goal of the project is to advance the understanding of weak memory — as found in multi-core hardware of POWER, ARM, and x86 architectures — to support reasoning formally about the implementations of concurrent algorithms.
The successful candidate will work closely with the project’s PI, Dr Scott Owens, and will have significant input into the direction of the project. They will also have the opportunity to work with project partners in Prof. John Derrick’s group at the University of Sheffield, and locally with Dr Mark Batty at the University of Kent.
We are committed to delivering high quality research and education. Our research is focused on five broad research areas: Programming Languages and Systems; Computer Security; Computational Intelligence; Data Science; and Computing Education. Full details can be found at: https://www.cs.kent.ac.uk/research. The 2014 Research Excellence Framework (REF) ranked our school 12th for research Intensity, and we are well placed to improve on this in the next REF.
Start date for applications: 24 Jan 2017
Closing date for applications: 22 Feb 2017
Please see the link below to view the full job description and also to apply for this post.
Please note - applications must be made online via the University website; details sent directly via email cannot be considered.
Advertiser: Direct Employer
Reference: STM0756
Posted on: 2017-02-21 15:38:58
Send me Alert for jobs in:
Canterbury, Kent
Email Address
Hays Specialist Recruitment
£153.84 - £238.59 per day + MPS/UPS
Commercial Services Interim & Executive Search
Up to £11.44 per hour
Recruitment Solutions South East Ltd
£24-28000 + uncapped bonus
This Job Has Expired! This advert has now been deleted by the advertiser, the details below are for information only.
This post is part of the EPSRC-funded project Verifying concurrent algorithms on weak memory models.
The goal of the project is to advance the understanding of weak memory — as found in multi-core hardware of POWER, ARM, and x86 architectures — to support reasoning formally about the implementations of concurrent algorithms.
The successful candidate will work closely with the project’s PI, Dr Scott Owens, and will have significant input into the direction of the project. They will also have the opportunity to work with project partners in Prof. John Derrick’s group at the University of Sheffield, and locally with Dr Mark Batty at the University of Kent.
We are committed to delivering high quality research and education. Our research is focused on five broad research areas: Programming Languages and Systems; Computer Security; Computational Intelligence; Data Science; and Computing Education. Full details can be found at: https://www.cs.kent.ac.uk/research. The 2014 Research Excellence Framework (REF) ranked our school 12th for research Intensity, and we are well placed to improve on this in the next REF.
Start date for applications: 24 Jan 2017
Closing date for applications: 22 Feb 2017
Please see the link below to view the full job description and also to apply for this post.
Please note - applications must be made online via the University website; details sent directly via email cannot be considered.
Advertiser: Direct Employer
Reference: STM0756
Posted on: 2017-02-21 15:38:58
I want to receive the latest job alerts for:
jobs in Canterbury, Kent
Hays Specialist Recruitment
£153.84 - £238.59 per day + MPS/UPS
Commercial Services Interim & Executive Search
Up to £11.44 per hour
Recruitment Solutions South East Ltd
£24-28000 + uncapped bonus