Dear Peter, Is this position still available? If so, would you be interested in having my application? I have a lecturer position at the Polytechnic Institute of Leiria, Portugal, where I have been teaching since 1999. After my PhD ("Low dimensional internal categorial structures in weakly Mal'tsev sesquicategories", University of Cape Town, 2008) I have been engaged with a postdoc position at University of Coimbra, where I have been working on Categorical Algebra and Homotopy Theory. I would now like to extend my knowledge into the area of Quantum Computing using the skills that I have developed in the study of Category Theory. In the link below you can find some of my works, however the list is not fully uptaded. http://www.scopus.com/authid/detail.uri?authorId=24598020700 Best Regards, Nelson. Nelson Martins-Ferreira Escola Superior de Tecnologia e Gestão, Centro para o Desenvolvimento Rápido e Sustentado do Produto, Instituto Politécnico de Leiria, 2411-901 Leiria, Portugal. ________________________________________ De: Peter Selinger [selinger@mathstat.dal.ca] Enviado: quinta-feira, 1 de Outubro de 2015 2:20 Para: Categories List Assunto: categories: type theory postdoc at Dalhousie University Dear colleagues, I invite applications for one postdoctoral position, starting between now and January 1, at Dalhousie University under my supervision. The successful applicant will work on a project entitled "Trusted Quantum Software via a Formally Verified Functional Quantum Programming Language". Specifically, the project will involve the design of a type system for a type-safe functional programming language for quantum computing, loosely modelled on the Quipper language (http://www.mathstat.dal.ca/~selinger/quipper/). It will also involve developing the meta-theory (including categorical semantics) of the language, and eventually the formalization of some of this meta-theory in a proof assistant. Familiarity with type theory (especially dependent type theory), programming language design, and/or semantics will be a prerequisite for this postdoc. Familiarity with quantum computing will be helpful, but is neither necessary nor sufficient for this position - the main emphasis is on programming languages and type systems. Although the position will be held at Dalhousie University in Canada, it will be an asset if the candidate is able to travel, because I will be spending one semester in Germany and one semester in the U.S. next year, and ideally I would like the postdoc to be able to accompany me. Funding for the project comes from the U.S. Air Force Office of Scientific Research, and the research project will be part of a team effort also involving collaborators from Tulane, Stanford, Oxford, the University of Iowa, and the University of Pennsylvania. The nominal start date for the project is September 30, 2015 (yes, this is today!), so the start date can be immediately, or some time in the near future. The position is initially for 1 year, and can be extended for an additional year. The salary is CAD $60,000 per year. Interested applicants should contact Peter Selinger at selinger@mathstat.dal.ca as soon as possible, and in any case before October 21. I can provide more details about the research project to interested applicants on request. Thanks, -- Peter [For admin and other information see: http://www.mta.ca/~cat-dist/ ]