Call for Papers and Other Useful Academic Information

–===============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 (FM) Group
, Department of Mathematics and Computer
Science (CS).=20

Project The TRANSFORMAL
project focuses on the development of transformation, refinement and
abstraction features for the Chi language,=20
with an emphasis on model based design of embedded systems at different
levels of abstraction. Mathematical correctness and industrial
applicability=20
will both play an important role in this development.=20

Work The two PhD-candidates we seek will work together on the
development of refinement and abstraction techniques for model based
design.=20
The work of the candidate for the FM Group will have an emphasis on the
formal correctness of the developed techniques (developing the
techniques right),=20
while the work of the candidate for the SE Group will have an emphasis
on developing and applying the techniques in close cooperation with
industry,=20
based on modeling, simulation and control of actual industrial systems
(developing the right techniques).=20

Requirements=20

We are looking for two candidates who meet the following requirements:=20

* MSc in Mathematics, Computer Science, Electrical or Mechanical
Engineering.
* Strong affinity with both dynamical systems modeling and
theoretical computer science.
* Good communication and writing skills in English.

Appointment and Salary=20

We offer:=20

* A challenging job in a dynamic and ambitious university.
* A full-time employment for 4 years, with an intermediate
evaluation after 1 year.
* A salary of Euro 2000 per month (gross) in the first year,
increasing to Euro 2558 per month (gross) in the fourth year.=20
Moreover 8% holiday allowance is provided annually.
* Assistance for finding accommodation can be given.
* Support with your personal development and career planning.
* Attractive secondary labour conditions (including excellent work
facilities, child care, excellent sport facilities).

Application=20

If you are interested in this PhD position, please send an email
containing a detailed curriculum vitae, an explanation of your interest
in the proposed research=20
topic, a publication list, your course programme and corresponding
grades, references and all other information that might be relevant to
your application.=20
Please mention TRANSFORMAL and the vacancy number V35.397 and/or V32.019
in the subject. The email addresses for applications=20
(and for additional information) are d.a.v.beek@tue.nl (dr.ir. D.A. van
Beek, Systems Engineering), and p.j.l.cuijpers@tue.nl (dr.ir. P.J.L.
Cuijpers, Formal Methods).=20

=20

——_=_NextPart_001_01C8B67F.D47AEE0A
Content-Type: text/html; charset=”us-ascii”
Content-Transfer-Encoding: quoted-printable

——_=_NextPart_001_01C8B67F.D47AEE0A–

–===============0386666882==
Content-Type: text/plain; charset=”us-ascii”
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency

–===============0386666882==–