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
Comments are closed 
