- Palaiseau, Île-de-France, France
- Contract
- €34K–€43K per year
- 4+ years
Lead R&D work in formal methods and cybersecurity verification for the VITAMIN-C project
Compensation
Indicative remuneration range (excluding the variable annual bonus): €33,614 – €43,000 gross per annum
Responsibilities
- Carry out R&D work in formal methods and cybersecurity verification
- Contribute to the research profile of Télécom Paris and Institut Mines-Télécom
Requirements
- Master’s degree (Bac+5) or equivalent
- Bachelor’s degree (Bac+4) with at least 4 years’ experience
- Bachelor’s degree (Bac+3) with 6 years’ experience
- Two-year higher education qualification (Bac+2) with 10 years’ professional experience
- Nice to have: temporal logic