Mechanized Analysis of Specifications - Madrid, España - IMDEA Software Institute

IMDEA Software Institute

Empresa verificada

Madrid, España

hace 4 semanas

Publicado por:

Isabel García

beBee Recruiter

Descripción

The overall goal of the project is the formal implementation of novel rich languages for the specification of highly critical software.

Industrial requirements for critical systems are often modeled in an adaptation of temporal logic that is amenable for specification and has clean semantics.

The main goal of this part will be to implement the formal operational semantics of one concrete industrial specification language in a formal tool like Maude, K or as a translation into formal modeling languages like Alloy.

The second goal will be to use the implementation of the semantics to implement tools that perform important tasks like interpreting the semantics against inputs to the system, answers reachability queries (for example to be used for automated test generation) or detects contradictions.

Who should apply?:

Working at IMDEA Software:

The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the IMDEA Software Institute is English.

Dates:

The duration of the position will be 9 months.

How to apply?:

For enquiries about the position, please contact:or cesar.sanchez