* [Caml-list] Postdoc position at LIAFA, Paris, France: Model-checking for malware detection
@ 2012-02-20 14:18 Tayssir Touili
0 siblings, 0 replies; 2+ messages in thread
From: Tayssir Touili @ 2012-02-20 14:18 UTC (permalink / raw)
To: Tayssir Touili
[-- Attachment #1: Type: text/plain, Size: 696 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.jussieu.fr)
A Postdoc position is available in the "Verification" team in LIAFA,
Paris.
The topic is the development of new original model-checking and
static analysis
techniques for malware detection.
How to apply:
==========
The position is available from March 2012. Candidates must have a PhD
in computer science.
The candidate must send a CV and recommendation letters to Tayssir
TOUILI (touili@liafa.jussieu.fr)
[-- Attachment #2: Type: text/html, Size: 2395 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Caml-list] Postdoc position at LIAFA, Paris, France: Model-checking for malware detection
@ 2012-10-08 10:47 Tayssir Touili
0 siblings, 0 replies; 2+ messages in thread
From: Tayssir Touili @ 2012-10-08 10:47 UTC (permalink / raw)
To: Tayssir Touili
[-- Attachment #1: Type: text/plain, Size: 726 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.jussieu.fr)
A Postdoc position is available in the "Verification" team in LIAFA,
Paris.
The topic is the development of new original model-checking and
static analysis
techniques for malware detection.
How to apply:
==========
The position is available from October 2013.
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.jussieu.fr)
[-- Attachment #2: Type: text/html, Size: 2439 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-10-08 11:00 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-02-20 14:18 [Caml-list] Postdoc position at LIAFA, Paris, France: Model-checking for malware detection Tayssir Touili
2012-10-08 10:47 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).