* [Caml-list] "Invited researcher" position at LIAFA, Paris, France: Software Analysis
@ 2012-03-05 16:24 Tayssir Touili
0 siblings, 0 replies; only message in thread
From: Tayssir Touili @ 2012-03-05 16:24 UTC (permalink / raw)
To: Tayssir Touili
[-- Attachment #1: Type: text/plain, Size: 872 bytes --]
Please distribute (apologies for multiple postings):
===============================
"Invited researcher" position in LIAFA
<http://www.liafa.jussieu.fr/index_en.php>
========================
Contact: Tayssir TOUILI <http://www.liafa.jussieu.fr/%7Etouili/>
(touili@liafa.jussieu.fr)
An "Invited researcher" 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 duration can vary between 4 and 10 months.
The position is available immediately.
How to apply:
==========
Candidates must have a PhD in computer science, or be a PhD student
close to finishing.
The candidate must send a CV and recommendation letters to Tayssir
TOUILI (touili@liafa.jussieu.fr)
[-- Attachment #2: Type: text/html, Size: 2605 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-03-05 16:41 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-03-05 16:24 [Caml-list] "Invited researcher" 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).