We have one open position to work for 4-6 months as an intern on understanding and detecting complex software vulnerabilities.
We have one open position to work for 3 years as a PhD student on artful vulnerability detection with fuzzing.
We have a fully funded open position for a 3 years PhD student, to work on security-oriented binary-level symbolic execution.
We have fully funded open positions for a 3 years PhD student and a 3 years Postdoc, to work on symbolic verification for micro-architectural attacks.
We have one open position to work for 2 years as a postdoc on understanding and detecting complex software vulnerabilities.
We have fully funded open positions for 3 years PhD students and 3 years Postdocs, to work on symbolic machine learning for binary code reverse engineering.
We have fully funded open positions for 3 years PhD students and 3 years Postdocs on program synthesis for binary-level program deobfuscation.
We have one open position to work for 3 years as a PhD student on program equivalence checking.
We have several open positions to hire postdocs, PhD students and research interns in software security and program analysis. Successful candidates will work in our BINSEC team, on topics like vulnerablity detection and analysis, software reverse engineering and deobfuscation, binary-level formal verification and code protection. All positions are fully-funded.
We open two PhD and one postdoc positions to work with Michaël and Sébastien on automatic detection and prevention of advanced software vunerabilities. Start: as soon as possible in 2022. Duration: 3 years (PhD), 2 years (postdoc).