Faculty position in PL/verification/theorem-proving at Cambridge.

[Marcelo Fiore <Marcelo.Fiore@cl.cam.ac.uk>]

Faculty position in PL/verification/theorem-proving at Cambridge
[this is roughly analogous to a US tenured associate professor position]
http://www.jobs.cam.ac.uk/job/8134/


The University of Cambridge Computer Laboratory is seeking to recruit a
new faculty member at the Lecturer or Senior Lecturer level who can
contribute to research in areas such as (but not limited to) the
following:

    - theoretical foundations of programming
    - programming language design and implementation
    - formal specification and verification of computer systems
    - theorem proving and its application to hardware and software

The ideal candidate will have interests that range from mathematical
theory to practical applications and will demonstrate the potential to
collaborate with Computer Laboratory research students, staff and faculty
across a range of topics.

Notwithstanding the above focus, exceptional candidates from any area of
Computer Science are also encouraged to apply.

It is likely that successful candidates will already have a strong track
record in one or more relevant research areas and already have some
postdoctoral experience. Ideally the candidate will also have experience
of teaching and generating research grant income.



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]