Research Associate Job in Foundations of Safe Mobile Software

Dear Colleagues,

I would be grateful if you could bring the Research Associate position
detailed below to the attention of anyone who might be interested. The
following areas are relevant to the project: concurrency theory, 
process algebra, security, formal methods, types, the lambda-calculus 
and semantics of programming languages. 

Best regards, 
Nobuko Yoshida 


	    Post-Doctoral Research Associate (Ref: R9323)

                  Foundations of Safe Mobile Software: 
                     Processes, Types and Semantics

	    Department of Mathematics and Computer Science

Applications are invited for the post of Research Associate to work on
a project funded by the EPSRC to study Foundations of Safe Mobile
Software directed by Nobuko Yoshida. Applicants should have (or expect
soon to have) a Ph.D. which includes experience of studying in either
process algebra, mobile code, type systems, the lambda-calculus or
security. The position is available from 1st September 2001 initially
for 1 year, with possible extensions depending on performance and
funding. The salary will be commensurate with qualifications and
experience in the R&A1A scale 17,278 to 25,969 GBP pa. Applicants from
outside the European Union (EU) will be considered.

Further details and the application form can be found at 


Formal applications should be made on the form provided and 
forwarded to reach the Personnel Office (Appointments) in University
of Leicester not later than 20 July 2001.

Keith Julian
Registrar and Secretary
University of Leicester
University Road

Tel: (0116) 252 5114
Fax: (0116) 252 5140

Informal Enquiries 

Candidates who are interested in the position are invited, if they so
wish, to contact Dr. Nobuko Yoshida (telephone +44 (0)116 252 3895,
e-mail ny11@mcs.le.ac.uk), who would be pleased to discuss the
position further. Candidates are also invited to consult the Department's
web pages via http://www.mcs.le.ac.uk.

Closing date: 20 July 2001