From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2184 Path: news.gmane.org!not-for-mail From: Peter Selinger Newsgroups: gmane.science.mathematics.categories Subject: 2 Research Fellow/Postdoc positions, Ottawa Date: Fri, 14 Feb 2003 12:04:08 -0500 (EST) Message-ID: <200302141704.h1EH48V01318@quasar.mathstat.uottawa.ca> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018473 2911 80.91.229.2 (29 Apr 2009 15:21:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:21:13 +0000 (UTC) To: categories@mta.ca (Categories List) Original-X-From: rrosebru@mta.ca Sat Feb 15 11:10:29 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 15 Feb 2003 11:10:29 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 18k3pL-0007K2-00 for categories-list@mta.ca; Sat, 15 Feb 2003 11:02:03 -0400 X-Mailer: ELM [version 2.5 PL3] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 40 Original-Lines: 54 Xref: news.gmane.org gmane.science.mathematics.categories:2184 Archived-At: 2 Research Fellow/Postdoc positions in Logic and Computation, University of Ottawa The Logic Group in the Department of Mathematics and Statistics at the University of Ottawa is looking to hire two research fellows/postdocs beginning in September, 2003. The first position is part of a project on "Programming Languages for Quantum Computing" led by P. Selinger. The ideal applicant will have a background in programming language semantics, and an interest in developing and applying semantic methods in a quantum computation setting. Some experience in mathematical physics or related mathematics is an asset. The second position is in any area of category theory, categorical logic, and theoretical computer science. Both research fellows / postdocs will participate in the activities of the Logic and Foundations of Computation Group. This group includes faculty and students from several different Ottawa-area universities. In the Math Department, the Logic Group currently includes 3 faculty members (R. Blute, P. Scott, P. Selinger), 1 postdoc, and 6 graduate students. For more information about our team, see http://www.mathstat.uottawa.ca/lfc/ The research fellowships/postdocs are initially for one year, with a possible renewal for a second year. The annual salary is $40,000. Duties include research and the teaching of two one-semester courses. Potential applicants should contact one of us: Philip Scott (phil@site.uottawa.ca) Richard Blute (rblute@mathstat.uottawa.ca) Peter Selinger (selinger@mathstat.uottawa.ca) immediately by email to indicate their interest. They should then also send a curriculum vitae, a research plan, and arrange for three confidential letters of recommendation, with one addressing teaching, to be sent to Professor Mayer Alvo, Chairman, Department of Mathematics and Statistics, University of Ottawa, Ottawa, ON Canada, K1N 6N5. Applicants are also encouraged to include up to three copies of their most significant publications. The official application deadline has already passed, but we are still considering applications, and interested persons should contact us as soon as possible. Those who have already applied for a position will of course be considered and do not have to re-send an application. P. Scott, R. Blute, and P. Selinger