PhD: Scalable Formal Methods for Digital Twins

Edtlab; Toulouse; On-site; EUR 25,000 - 35,000; Full time

Benefits offered by this job

Social security

Health coverage

Research travel support

Job summary

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.

Responsibilities

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

Skills

Formal methods

Modeling languages

Programming (Java, Python)

Analytical skills

Problem-solving skills

Communication skills in English

Education

Master’s degree in Computer Science or related field

Job description

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.