[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
> The BINSEC team (
> https://urldefense.com/v3/__https://binsec.github.io__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc1OtTRD1$
> ) opens postdoc, PhD student
and research intern positions in software security and program analysis.
*START*: as soon as possible. *DURATION*: 2-3 years (postdoc), 3 years
(PhD), 2.5-6 months (intern).
*GOALS*: vulnerability detection and analysis, software reverse engineering
and deobfuscation, binary-level formal verification and code protection
*TECHNIQUES*: symbolic execution, static analysis, fuzzing, program
synthesis, SMT solvers
https://urldefense.com/v3/__https://binsec.github.io/jobs__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc97d_y9U$
*== ABOUT US*
*OUR TEAM* - The BINary-level SECurity research group (BINSEC) is a
dynamic team of a dozen of researchers, which offers a stimulating and
open-minded work environment in English. The group has frequent
publications in top-tier security, formal methods and software engineering
conferences. It is part of CEA (one of the main French research
organisations, employing more than 20k researchers and persistently ranked
as a top global innovator) and of Université Paris-Saclay (the world’s 16th
and European Union’s 1st university, according to the Shanghai ARWU Ranking
in 2022).
*OUR WORK* - The team has strong expertise in several code analysis
approaches, namely symbolic execution, abstract interpretation and fuzzing.
We apply these techniques to improve software security, covering notably
vulnerability detection and analysis, code (de)obfuscation and formal
verification. See our website at
https://urldefense.com/v3/__https://binsec.github.io__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc1OtTRD1$
for additional
information.
*== APPLICATION*
Candidates should send a CV to binsec-j...@saxifrage.saclay.cea.fr as soon
as possible. Applications will be reviewed as they arrive (first come,
first served), depending on our availability, and additional information
may be requested from you. *Please read the detailed job offer to prepare
your application in the best way:*
https://urldefense.com/v3/__https://binsec.github.io/jobs__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc97d_y9U$
---
Dr. Michaël Marcozzi
Tenured Researcher
Université Paris-Saclay, CEA, List
Twitter: @michaelmarcozzi
<https://urldefense.com/v3/__https://twitter.com/michaelmarcozzi__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkScx-d5qIg$
>
https://urldefense.com/v3/__http://www.marcozzi.net__;!!IBzWLUs!XnKDl7uHbYPWjbpQvKn-n_hemnj5PsDxzwChExjQkVEPdxAySksSK_FBbVVVPt13IzbhPmSi92_8BQm-JTJFakuemGiA0ZkSc-CXvwah$
>
