[TYPES/announce] Post Doc in weak memory at the University of Kent

[Scott Owens]

Hi all,

I’m looking to hire a post doc to work in the general area of weak memory models. The post is funded for 18 months at the University of Kent in Canterbury, England. To apply, see the formal job advertisement here: http://www.jobs.ac.uk/job/AWW579/research-associate/.

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.

Scott Owens