Research and Development Engineer in Formal Methods - 12 months contract
Institut Mines-Télécom Is this your company? Claim it · Palaiseau, Île-de-France, France · Full-time
Description
Who we are ? Télécom Paris, part of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris, is one of France's top 6 general engineering schools. The mainspring of Télécom Paris is to train, imagine and undertake to design digital models, technologies and solutions for a society and economy that respect people and their environment. Modern distributed systems are increasingly complex, with multiple interconnected components, services, and autonomous agents interacting in dynamic environments. Ensuring their cybersecurity requires analysing both potential attacks and the strategies that defenders can adopt in response. Attackers may exploit sequences of vulnerabilities to compromise a system, while defenders may react through countermeasures such as access restrictions, system reconfigurations, or Moving Target Defense mechanisms. Traditional cybersecurity analysis techniques often focus on identifying vulnerabilities and possible attack paths, with limited support for reasoning about the strategic interactions between attackers and defenders. The VITAMIN-C (VerIficaTion of A MultI-ageNt system for Cybersecurity) project aims to address these…
View full original posting → Source: Arbeitnow
How to apply
- Read the description and requirements and check the location and pay.
- Click “Apply now” on this page. If you do not have a free account yet, create one — it takes about a minute.
- Keep your phone on and your CV or details ready, so the employer can reach you.
- You can also open the original posting (link above) to see how the employer prefers applications.
- Never pay money to get a job. Report any listing that asks you to.
Questions about this job
Where is this Research and Development Engineer in Formal Methods - 12 months contract job located?
The listing places this job in Palaiseau, Île-de-France, France.
Who is hiring?
The employer shown on the listing is Institut Mines-Télécom.
What is the salary?
The listing does not state a salary. Ask the employer about pay, overtime and payment dates before accepting.
Is it full-time or part-time?
The listing type is Full-time.
When was this job posted?
It was posted on 9 November 2026. Jobs that stay open too long are closed automatically, so apply soon if you are interested.
How do I apply?
Read the description and requirements, then click Apply now on this page (a free account is needed). You can also open the original posting to see how the employer takes applications.
Do I have to pay to apply?
No. Applying on Get Mazdoor is free, and a genuine employer does not ask for money to apply or for a "registration" or visa fee before an offer. If anyone asks you to pay, do not.
More jobs in Palaiseau
Ingénieure ou ingénieur de recherche et développement en IA embarquée - CDD de 12 mois
Institut Mines-Télécom
Responsable SIRH et paie (CDD 36 mois)
Institut Mines-Télécom
Research and Development Engineer in Artificial Intelligence - 12 months contract
Institut Mines-Télécom
Post-doctorant·e en Théorie de l’information quantique des systèmes bosoniques - CDD 24 mois
Institut Mines-Télécom
Post-doctorant·e en UnStrain : révéler les tensions de mobilité par apprentissage de représentations - CDD de 18 mois
Institut Mines-Télécom
Quantum Dot Process & Characterisation Engineer- Post-Growth Processing (Master)
Quandela
Similar Engineer jobs
Browse more: Jobs in Palaiseau · Engineer jobs · All jobs in Pakistan
