[TYPES/announce] PhD proposal, Huawei (Paris) & University of Orleans, France

[Frederic Loulergue]

Applications are invited for a fully funded PhD position in the
Distributed and Parallel Computing team at Huawei (Paris) and
in the Logic Modelling and Verification team at Laboratoire
d'Informatique Fondamentale d'Orleans, University of Orleans.

Project: Static analysis, verification and generation of BSPlib programs
Deadline: November 16, 2015




-- 
Pr. Frederic Loulergue
  College of Science & Technology
  Computer Science Department
  Laboratoire d'Informatique Fondamentale d'Orleans (LIFO)
  Logic Modelling Verification (LMV) team
Universite d'Orleans
Bat. IIIA, rue Leonard de Vinci, B.P. 6759
F-45067 Orleans Cedex 2, France
Tel: +33 (0)2 38 41 72 87
Fax: +33 (0)2 38 41 71 37
http://frederic.loulergue.eu
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ASVBSP.pdf
Type: application/pdf
Size: 1689991 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20151108/8495852c/attachment-0001.pdf>