coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Doctoral and Post-doctoral openings at Rice

From: "Walid Taha" <taha AT rice.edu>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Doctoral and Post-doctoral openings at Rice
Date: Fri, 30 Nov 2007 13:28:02 -0600
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=received:message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=kTbMaM0DNiiLaHsgnJrt0epar1tpCLVtErVK+U099PS9IB0w17GNEiilVktu+zzSRl1na7jBYyD91OTqDp/DlqhTvfsGsFtOdpK2ymSSt0BRpJFINzHKkA4BO2N6hiDqRbAiuLRv7HU9Bm618HkhWs50X2dUE4b9lSTjVYr83Z4=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

The Resource-Aware Programming (RAP) research group at Rice University
is seeking qualified doctoral and post-doctoral students.  The openings will
support work on a wide range of topics, including the Concoqtion programming
language, physically safe computing, and device drivers.  The full
descriptions
of these positions can be found at:

       http://www.resource-aware.org/twiki/bin/view/RAP/OpeningsGraduate
and  http://www.resource-aware.org/twiki/bin/view/RAP/OpeningsPostdoctoral

Funding for these positions is provided by the National Science Foundation
(NSF) and by industrial partners including Intel, LogicBlox, and Schlumberger.

Walid Taha, http://www.cs.rice.edu/~taha
Department of Computer Science
Rice University
Houston, TX 77025

[Coq-Club] Doctoral and Post-doctoral openings at Rice, Walid Taha