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 [EMAIL PROTECTED] School of Computer Science & Engineering University of New South Wales, Sydney http://www.cse.unsw.edu.au/~chak/ _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
