[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
