OUR TEAM - The position takes place in our BINary-level SECurity research team (BINSEC), a dynamic group of more than a dozen of researchers, which offers a stimulating and open-minded scientific environment in English to all its members. We work in close collaboration with other French and international research teams, industrial partners and national agencies.
The team has frequent publications in top-tier software engineering and security conferences. It is part of the LIST institute from 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 12th and European Union’s 1st university, according to the Shanghai ARWU Ranking in 2024).
OUR WORK - The team has high-level expertise in several code analysis approaches, namely fuzzing, symbolic execution and abstract interpretation. We apply these techniques to improve software security, covering notably vulnerability detection and analysis, code (de)obfuscation and formal verification. See our website for additional information.
REQUIREMENTS FOR POSTDOC CANDIDATES - Postdoc candidates should have (or be close to have) a Ph.D. in Computer Science. We are primarily looking for candidates with good research track records in one or more of the following domains: software engineering, software security, architecture, systems or programming languages.
APPLICATION PROCESS - Applicants should send their CV and the position(s) they are applying for to Michaël Marcozzi as soon as possible. Applications will be reviewed as they arrive (first come, first served). If your CV is deemed to be an interesting fit for the position, we will contact you to request additional information as soon as possible, depending on our availability.
Candidates may then be contacted for an online interview, to evaluate notably their academic and programming skills, together with their English proficiency. Each position is expected to start as soon as possible (upon completion of all administrative requirements, including security clearance by the French state authorities and Schengen visa for non-EU citizens).
JOB DESCRIPTION - Supervised by Michaël Marcozzi, the recruited candidate will be involved in the scientific activities of the SECUBIC project. These activities mainly include solving research problems, formalizing research ideas, implementing and evaluating software prototypes, publishing and presenting at top conferences/journals. A limited amount of time will be dedicated to participating to the scientific life of the SECUBIC project and of the BINSEC team (project meetings and workshops, paper reading groups, etc). Our former team members have been able to secure stimulating positions in academia or industry and we will support you in advancing your career.
Our offices are located in Nano-Innov, at the heart of Plateau de Saclay, south of Paris, Europe’s biggest research and industry cluster. Agencies like Science Accueil or Cité Internationale Universitaire de Paris are available to help foreign candidates find their home and settle here. Most of us live either in the wooden and quiet surroundings of our offices or closer to the bustling historical center of the city, along the RER B public transport line. Paris is the capital of France, a metropolis of 12.5 million people and one of the most visited travel destinations in the world, in the heart of western Europe.