RA and PhD positions available

[John Derrick]

(Apologies if you get duplicates of this message).

We have a 3-year PostDoc position at Sheffield for work on verification of 
Erlang programs. Please pass on to anyone who may be interested.
Further details at:

http://www.dcs.shef.ac.uk/research/job_opp/pr3650.html


We also have a PhD Studentship for work on developing testing techniques 
applicable to Erlang code. Please pass on to anyone who may be interested.
Further details at:

http://www.dcs.shef.ac.uk/research/phd_opp/jd_phd.htm

Best,
John