From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5551 Path: news.gmane.org!not-for-mail From: Lars Birkedal Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Ph.D. positions at the IT University of Copenhagen Date: Tue, 02 Feb 2010 13:36:17 +0100 Message-ID: <4B681C41.3060607@itu.dk> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1265114340 3100 80.91.229.12 (2 Feb 2010 12:39:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 2 Feb 2010 12:39:00 +0000 (UTC) To: categories-59hdLBrVOVU@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Tue Feb 02 13:38:55 2010 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1NcI1u-0008Qq-A7; Tue, 02 Feb 2010 13:38:54 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.upenn.edu [127.0.0.1]) by rhizome.seas.upenn.edu (8.13.6/8.12.8) with ESMTP id o12CbC2m025231; Tue, 2 Feb 2010 07:37:20 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from empathy.seas.upenn.edu (empathy.seas.upenn.edu [158.130.67.158]) by rhizome.seas.upenn.edu (8.13.6/8.12.8) with ESMTP id o12CaTC8025187 for ; Tue, 2 Feb 2010 07:36:29 -0500 Original-Received: from mx2.itu.dk (mx2.itu.dk [130.226.142.29]) by empathy.seas.upenn.edu (8.13.6/8.13.6) with ESMTP id o12CaNBj029967 for ; Tue, 2 Feb 2010 07:36:28 -0500 Original-Received: from lars-birkedals-macbook.local (cpe.atm2-0-126199.0x3ef26f6c.alb2nxx8.customer.tele.dk [62.242.111.108]) by mx2.itu.dk (Postfix) with ESMTP id 9B344F48021; Tue, 2 Feb 2010 13:36:17 +0100 (CET) User-Agent: Thunderbird 2.0.0.23 (Macintosh/20090812) X-Proofpoint-Virus-Version: vendor=fsecure engine=1.12.8161:2.4.5, 1.2.40, 4.0.166 definitions=2010-02-02_03:2010-01-20, 2010-02-02, 2010-02-02 signatures=0 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 ipscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx engine=5.0.0-0908210000 definitions=main-1002020055 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Tue, 02 Feb 2010 07:37:10 -0500 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.6 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Xref: news.gmane.org gmane.comp.science.types.announce:1628 gmane.science.mathematics.categories:5551 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, A number of Ph.D. positions are available in the Programming, Logic, and Semantics research group at the IT University of Copenhagen. Please see http://www1.itu.dk/graphics/ITU-library/Intranet/Personale/Stillingsopslag/VIP/Stillingsopslag%202010/PhD%20call_spring%202010_text.pdf for the official announcement and for information on how to apply. Application deadline is March 24, 2010. Potential applicants are welcome to contact me or other faculty members in the PLS group (www.itu.dk/research/pls) for more information. Best wishes, Lars Birkedal Professor, Head of PLS group and the FIRST research school. www.itu.dk/~birkedal