[Concurrency] Two PhD positions on “Transformations,
–===============0386666882==
Content-Class: urn:content-classes:message
Content-Type: multipart/alternative;
boundary=”—-_=_NextPart_001_01C8B67F.D47AEE0A”
——_=_NextPart_001_01C8B67F.D47AEE0A
Content-Type: text/plain; charset=”us-ascii”
Content-Transfer-Encoding: quoted-printable
The Eindhoven University of Technology (TU/e) has the following two
vacancies:=20
2 PhD Students on “Transformations, Refinements and Abstractions of
Embedded System Models” (V35.397
and V32.019
)=20
This is a cooperation between one PhD student at the Systems Engineering
(SE) Group , Department of Mechanical Engineering
(ME),=20
and one PhD student at the Formal Methods […]