"Invited researcher" position at LIAFA, Paris, France: Software Analysis
Tayssir Touili <[email protected]>
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <[email protected]> |
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/> ([email protected]) 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 ([email protected]) _______________________________________________ Lprolog mailing list [email protected] https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog