Dear all,
This is a quick mail to inform you about an RA position currently being
advertised, in the area of concurrency and operating-systems. It
essentially involves developing concurrent OS components, design tools
and demonstrators, for a 3-year EPSRC funded project. The ideas are
based around those of occam, occam-pi, CSP and the pi-calculus, and
not entirely unlike MSR's 'Singularity' project. The work will initially
target PC/104 embedded systems.
Details regarding the post can be found at:
http://www.kent.ac.uk/jobs/research/008.html
Details regarding the project generally can be found at:
http://rmox.net/ (general page)
http://www.cs.kent.ac.uk/~frmb/rmoxos-case.pdf (case for support)
http://wotug.org/paperdb/show_pap.php?f=1&num=434 (earlier paper)
Closing date for applications is the 25th August (apologies for the
short notice, feel free to get in touch if you're interested).
I'd be grateful if you could pass this onto any PhD students/graduates
or others who might be interested in this (salary in the range 22-26k
GBP). Given that the project involves lots of coding, strong programming
skills are a must; experience with occam-pi and 'process-oriented'
concurrency less so (some learning-time is built into the project).
Many thanks,
-- Fred
Attachment:
pgpn3q1XdsNFe.pgp
Description: PGP signature