Stiati ca….

Suma premiilor puse in joc la concursurile anuntate depaseste
75000
de euro ?

Enter your email address:

Categorii

ZeList

PostDoc on Static Analysis of Binary Program in LaBRI

We open a one year postdoc position at LaBRI, Bordeaux 1 University, funded by the MARSHAL+ project, on static analysis of binary programs. The candidate is expected to experiment new analyses within the Insight framework, which we develop in Bordeaux. Ideally, the candidate should have an interest in formal methods (especially abstract-interpretation) and software security (reverse-engineering and obfuscation techniques).

Starting date: January, 2013

. . . → Read More: PostDoc on Static Analysis of Binary Program in LaBRI