[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues, I invite applications for two postdoctoral positions, starting this spring or summer, at Tulane University under my supervision. The successful applicants will work on a project entitled "Semantics, Formal Reasoning, and Tool Support for Quantum Programming”. The project involves designing high-level semantic models and tools to support quantum functional programming languages. A prototype language is Quipper, which currently is an EDSL of Haskell (http://www.mathstat.dal.ca/~selinger/quipper/ ). One goal is to free Quipper from the constraints of the Haskell type system and to devise a type system tailored to the needs of quantum programming languages. The overall aim is to design type-safe functional programming languages for quantum computing. The project also involves developing the meta-theory (including categorical semantics) of the language, and eventually the formalization of some of this meta-theory in a proof assistant. The focus of the Tulane work is on modeling recursion in such languages, which requires developing quantum domain theory. Interactions with other aspects of the project also is expected. Familiarity with programming language design, and / or semantics is a prerequisite for these postdocs. The latter includes categorical semantics and domain theory. Familiarity with quantum computing also is helpful, but not necessary nor sufficient for these positions. The main focus of the Tulane component of the work is on the semantics of quantum functional programming languages. Although the positions will be based at Tulane University, candidates should expect to travel to the other sites where work on this project is taking place. These include UPenn, UIowa and Stanford in the US, as well as McGill University and Dalhousie University in Canada and Oxford and Edinburgh in the UK. Funding for the project comes from the DOD and the U.S. Air Force Office of Scientific Research. These postdocs are for a period of 3 years each. To apply for one of these positions, direct your browser to the link: apply.interfolio.com/33550 Tulane University is an Affirmative Action / Equal Opportunity / ADA Employer that is committed to increasing the diversity of its faculty. We therefore encourage applications from underrepresented groups. I also welcome any inquiries about these positions or about the project. Thanks, Mike Mislove, Departments of Computer Science and Mathematics Tulane University