PhD: Scalable Formal Methods for Digital Twins

Edtlab; Toulouse; Sur place; EUR 25 000 - 35 000; Plein temps

Avantages offerts par ce poste

Social security

Health coverage

Research travel support

Résumé du poste

Edtlab in Toulouse is seeking a motivated PhD candidate to contribute to the Engineering Digital Twins program within Catalyst: the Reliable Hybrid Model Forge. The research focuses on developing formal engineering methods for digital twins.

The ideal candidate will hold a Master’s degree in Computer Science with a strong background in formal methods, programming, and an interest in digital twin technologies. Benefits include a competitive salary and support for research travel.

Qualifications

• Strong background in formal methods, modeling languages, or system engineering.
• Interest in cyber-physical systems and digital twin technologies.

Responsabilités

• Develop languages and tools for model properties.
• Implement prototypes and evaluate on use cases.
• Publish research results in conferences and journals.

Connaissances

Formal methods

Modeling languages

Programming (Java, Python)

Analytical skills

Problem-solving skills

Communication skills in English

Formation

Master’s degree in Computer Science or related field

Description du poste

Edtlab in Toulouse is seeking a motivated PhD candidate to contribute to the Engineering Digital Twins program within Catalyst: the Reliable Hybrid Model Forge. The research focuses on developing formal engineering methods for digital twins.

The ideal candidate will hold a Master’s degree in Computer Science with a strong background in formal methods, programming, and an interest in digital twin technologies. Benefits include a competitive salary and support for research travel.