From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2502 Path: news.gmane.org!not-for-mail From: Peter Selinger Newsgroups: gmane.science.mathematics.categories Subject: Graduate student positions, Ottawa Date: Wed, 19 Nov 2003 23:11:07 -0500 (EST) Message-ID: <200311200411.hAK4B7F07182@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 1241018708 4466 80.91.229.2 (29 Apr 2009 15:25:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:25:08 +0000 (UTC) To: categories@mta.ca (Categories List) Original-X-From: rrosebru@mta.ca Fri Nov 21 17:27:55 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 21 Nov 2003 17:27:55 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1ANImA-0004n3-00 for categories-list@mta.ca; Fri, 21 Nov 2003 17:25:14 -0400 X-Mailer: ELM [version 2.5 PL3] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 11 Original-Lines: 45 Xref: news.gmane.org gmane.science.mathematics.categories:2502 Archived-At: Dear colleagues, we're seeking applications for graduate students at the University of Ottawa (see ad below). If you know any bright students who might be interested, please encourage them to apply! Thanks, -- Peter * Graduate Student Positions in Logic, Category Theory, and Foundations of Computation, University of Ottawa, Canada The Logic Group in the Department of Mathematics and Statistics at the University of Ottawa is seeking applications from prospective graduate students for the M.Sc. and Ph.D. program, beginning in September 2004. Graduate students will be part of 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 4 faculty members (R. Blute, A. Felty, P. Scott, P. Selinger), 3 postdocs (V. Capretta, P. Hofstra, M. Weber), and 9 graduate students. For more information about our team, see http://www.mathstat.uottawa.ca/lfc/ Members of our logic group work in the following areas: category theory, type theory, linear logic, quantum programming languages, semantics of computation, lambda calculus, proof theory, proof carrying code, theorem proving, monoidal categories in physics and computing, probabilistic concurrent systems, realizability toposes and constructive mathematics, higher-dimensional categories. Ph.D. students receive funding which covers academic fees and living expenses. The funding available for M.Sc. students varies. For further information about our graduate program and how to apply, please see http://www.mathstat.uottawa.ca/grad/. The deadline for applications for international students is January 15. Philip Scott (phil@site.uottawa.ca) Richard Blute (rblute@mathstat.uottawa.ca) Amy Felty (afelty@site.uottawa.ca) Peter Selinger (selinger@mathstat.uottawa.ca)