* [Caml-list] Postdoc position at LIAFA, Paris, France: Software Analysis
@ 2012-11-16 16:00 Tayssir Touili
0 siblings, 0 replies; only message in thread
From: Tayssir Touili @ 2012-11-16 16:00 UTC (permalink / raw)
To: Tayssir Touili
[-- Attachment #1: Type: text/plain, Size: 807 bytes --]
Please distribute (apologies for multiple postings):
===============================
Postdoc position in LIAFA <http://www.liafa.jussieu.fr/index_en.php>
========================
Contact: Tayssir TOUILI <http://www.liafa.jussieu.fr/%7Etouili/>
(touili@liafa.univ-paris-diderot.fr)
A Postdoc position is available in the "Verification" team in LIAFA
(CNRS and Univ. Paris Diderot).
The topic is the development of new original model-checking and
static analysis
techniques for the analysis of software and/or concurrent programs.
The position is available from October 2013.
How to apply:
==========
Candidates must have a PhD in computer science (defense before October
2013).
The candidate must send a CV and recommendation letters to Tayssir
TOUILI (touili@liafa.univ-paris-diderot.fr)
[-- Attachment #2: Type: text/html, Size: 2502 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-11-16 16:24 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-11-16 16:00 [Caml-list] Postdoc position at LIAFA, Paris, France: Software Analysis Tayssir Touili
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).