The Functional Programming Group at KU is looking to hire a post doctoral researcher, to work on the HERMIT project. Applications are invited for an anticipated full-time postdoctoral position with the Information and Telecommunication Technology Center (ITTC) at the University of Kansas. The initial appointment will begin in January 2012. The postdoc will join a project developing high-assurance software development tools using Haskell and equational reasoning. This position requires a PhD degree in computer science or a related discipline, with research experience in functional programming, and publications in the area of functional programming. The postdoc researcher will work closely with a team of academics, PhD students and undergraduates. Strong written and communication skills are a plus. A full position description, required and preferred qualifications, and application instructions can be found at the University of Kansas employment page at https://jobs.ku.edu, search for position 00004753. For more information on ITTC see http://www.ittc.ku.edu. Review of applications begins September 30th, and will continue until the position is filled. Complete applications will include the following: * A full curriculum vitae * A two-page statement summarizing your research experience (and related projects) * The names and addresses (including phone number and emails) of at least three references For further information about this position, please contact Andy Gill at andygill@ku.edu. EO/AA employer ------------------- About the HERMIT Project The Haskell Equational Reasoning Model-to-Implementation Tunnel (HERMIT) is a two year NSF-funded project to improving the Applicability of Haskell-Hosted Semi-Formal Models to High Assurance Development. Specifically, HERMIT will use the worker/wrapper transformation, a Haskell-hosted DSL, and a new refinement UI to perform rewrites directly on Haskell Core, the GHC internal representation. This project is a substantial case study into the application of worker/wrapper on larger examples. In particular, we want to demonstrate the equivalences between efficient Haskell programs, and their clear, specification-style Haskell counterparts. In doing so, there are several open problems, including refinement scripting and management scaling issues, data representation and presentation challenges, and understanding the theoretical boundaries of the worker/wrapper transformation. In the project, there will be ample time for publishing research results, building a useful and state-of-the art semi-formal refinement toolkit, and being part of the wider functional programming community. ---- Andy Gill, <andygill@ku.edu> Assistant Professor The University of Kansas, EECS Department Information and Telecommunication Technology Center http://www.ittc.ku.edu/csdl/fpg/Users/AndyGill