[TYPES/announce] Postdoc position at INRIA Rhône-Alpes

[Alan Schmitt]

The team Sardes (http://sardes.inrialpes.fr/) at INRIA Rhône-Alpes  
(Grenoble) is offering a postdoc position on formalization and typing  
of software components, based on its current work on the Kell  
calculus (http://sardes.inrialpes.fr/kells/). The subject is  
available at http://www.inrialpes.fr/Fiches_Postes/postdocs2006/PD% 
20proposal%2006%20Sardes%20Schmitt.pdf .

More information on how to apply can be found on the page http:// 
www.inrialpes.fr/postdocs_eng2.html . The application deadline is  
April 17th, 2006.

Alan Schmitt

-- 
Alan Schmitt <http://alan.petitepomme.net/>

The hacker: someone who figured things out and made something cool  
happen.
.O.
..O
OOO


-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 186 bytes
Desc: This is a digitally signed message part
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20060321/36c045a2/PGP.sig