From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3337 Path: news.gmane.org!not-for-mail From: Sergei SOLOVIEV Newsgroups: gmane.science.mathematics.categories Subject: ph.d. studentship at Toulouse (France) Date: Tue, 6 Jun 2006 20:37:34 +0200 Message-ID: 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 1241019237 8296 80.91.229.2 (29 Apr 2009 15:33:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:33:57 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Jun 6 16:54:47 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 06 Jun 2006 16:54:47 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FnhVx-0007fw-WA for categories-list@mta.ca; Tue, 06 Jun 2006 16:46:58 -0300 Content-Disposition: inline Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 3 Original-Lines: 34 Xref: news.gmane.org gmane.science.mathematics.categories:3337 Archived-At: At University Paul Sabatier (Toulouse-3) a ph.d. studentship is available. There is no restrictions concerning nationality, but there is an age limit ( no more than 25 ans in 2006.) Please, notice very short delay: - applications before 20.06 - interview 23.06 contact: soloviev@irit.fr Theme: The categories with structure including distinguished functors and natural transformations (subject to certain identities) are considered, such as the Symmetric Monoidal Closed Categories with tensor $\otimes$ and hom-functor as distinguished functors, associativity and commutativity of $\otimes$ etc. The "critical mass" of theoretical results concerning the commutativity of diagrams in such categories demands the development of adequate computer support and software. The software should contain certain automated and interactive verification procedures, in particular automated procedures using the algorithms that are already known and interactive procedures for extraction of consequences of particular properties of concrete categories (e.g., categories of modules). The theme is closely connected with proof theory and commutative algebra. The competences in programming are required. It is possible also that the ph.d. student will obtain new mathematical results in addition to programming part. (Advisers: Sergei Soloviev, Mark Spivakovsky) -- Sergei SOLOVIEV