[Prev][Next][Index][Thread]
Open research position in types for security
We are looking for a Senior Research Associate in the area
of type theory and its application to programming languages
in the School of Computer Science and Engineering at
University of New South Wales. The School is one of the
largest computing schools in Australia, has an extensive
research program and regularly attracts funding from
government institutions as well as industry. The successful
applicant will contribute to a major research project
spanning the areas of programming languages, compilers, and
operating systems; for a project description, see
http://www.cse.unsw.edu.au/~chak/project/sec/
Essential criteria include:
* Strong track record in type theory and programming
languages
* Experience in one or more of the following: automated
theorem proving, functional programming, compiler
construction
* Demonstrated ability to conduct independent research and
record of publications in relevant areas
Full details concerning the position are at
http://www.hr.unsw.edu.au/employment/27060304.htm
Interested? Just send me an email and I'll happily provide
further information.
Manuel
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Manuel M T Chakravarty chak@cse.unsw.edu.au
School of Computer Science & Engineering
University of New South Wales, Sydney http://www.cse.unsw.edu.au/~chak/