[TYPES/announce] Postdoc positions at University of Cambridge, Computer Laboratory

[Andrew Rice]

http://www.jobs.cam.ac.uk/job/6785/

Applications are invited for up to two Research Associates with a
background in programming language theory, design and implementation.
The successful candidate will work on the EPSRC-funded CamFort project.
The position is jointly within the Digital Technology Group (DTG) and
the Cambridge Programming Research Group (CPRG) in the Computer
Laboratory at the University of Cambridge.

The essence of the project is to extend and apply ideas in program
analysis and transformation to programming in computational science.
This includes, but is not limited to, (semi)automatic refactoring tools
to evolve existing code, test generation tools, the specification and
verification of numerical models, and development of new programming
approaches to aid future computational science programming. The project
webpages contain more information:
http://www.cl.cam.ac.uk/research/dtg/naps/

We seek candidates with a strong background in Computer Science with a
particular focus on programming language theory, design and
implementation. Candidates must have excellent communication skills and
be interested in implementing theoretical ideas. Prior experience with
programming in Haskell and/or Fortran would be beneficial. The
successful candidate will be based in the Computer Laboratory but will
spend time working with researchers in the physical sciences.

The general duties of the role include: implementing research ideas to
establish their effectiveness on real-world software, identifying and
pursing new research within the project, writing up research work for
presentation and publication and engagement with other researchers
through the organisation of meetings and workshops.

Candidates must be able to provide evidence of self-motivated work, an
ability to work autonomously, and an ability to acquire new skills
quickly when required. Suitable candidates will have a PhD degree in
computer science and an excellent programming ability.

Any questions regarding the post should be sent via email to Dr Andrew
Rice: Andrew.Rice at cl.cam.ac.uk and Professor Alan Mycroft:
Alan.Mycroft at cl.cam.ac.uk