From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6813 Path: news.gmane.org!not-for-mail From: selinger@mathstat.dal.ca (Peter Selinger) Newsgroups: gmane.science.mathematics.categories Subject: postdoc position - immediately Date: Thu, 4 Aug 2011 10:52:40 -0300 (ADT) Message-ID: Reply-To: selinger@mathstat.dal.ca (Peter Selinger) NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1312500501 7734 80.91.229.12 (4 Aug 2011 23:28:21 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 4 Aug 2011 23:28:21 +0000 (UTC) To: categories@mta.ca (Categories List) Original-X-From: majordomo@mlist.mta.ca Fri Aug 05 01:28:17 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpy.mta.ca ([138.73.1.128]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Qp7Kq-0001WG-Rq for gsmc-categories@m.gmane.org; Fri, 05 Aug 2011 01:28:17 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:51189) by smtpy.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1Qp7JG-0004On-7b; Thu, 04 Aug 2011 20:26:38 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Qp7JF-0006ba-Id for categories-list@mlist.mta.ca; Thu, 04 Aug 2011 20:26:37 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6813 Archived-At: Dear colleagues, I invite applications for one postdoctoral position, starting September 1 or as soon as possible, at Dalhousie University under my supervision. The successful applicant will be part of a government-funded research team spanning Dalhousie and several U.S. institutions. The overall goal of the project is "to design a quantum programming environment, and to accurately estimate and significantly reduce the computational resources required to implement quantum algorithms on a realistic quantum computer". Here at Dalhousie University, we will be primarily responsible for the design of a quantum programming language. The project is structured as a research contract with specific milestones and deadlines. The nominal start date for this project is August 1, 2011 (yes, this is in the past). Familiarity with the design of programming languages, type systems, 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. The position is initially for 1 year, and can be extended for a second year. The salary is CAD $50,000 per year. Interested applicants should contact Peter Selinger at selinger@mathstat.dal.ca as soon as possible, and in any case before August 11. 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/ ]