PhD Positions Open in Triskell
Up one level-
Software Testing of Interactive Systems
-
Verifying Web Services Composition
- This PhD thesis will be funded in the framework of the Marie-Curie European ITN Relate.
-
Dynamic Software Product Lines based on Service-Oriented Architectures
- This PhD thesis will be funded in the framework of the Marie-Curie European ITN Relate.
-
Formally assuring reconfiguration decisions in software intensive systems
-
Formal Foundations to Verify DSML Compilers
-
Learning the specification of black box software services
-
Synthesis of service-oriented architectures by model transformation
- This PhD thesis will be funded in the framework of the Marie-Curie European ITN Relate.
-
Resource Reservation in a pervasive middleware
-
Modeling variability in regulatory requirements
