First sorry for using this list for a job posting, but I think the following research project is interesting for prospective PhD students.
Project title:
Probabilistic Verification and Model-Based Quality Evaluation
Research topic:
Model Based Development (MBD) has established itself as the key approach to software engineering of increasingly complex systems in automotive and aerospace domains. It has proved […]
–===============0706314590==
Content-Type: multipart/alternative;
boundary=”============_-989849461==_ma============”
–============_-989849461==_ma============
Content-Type: text/plain; charset=”us-ascii” ; format=”flowed”
PhD in Lucca, Italy
Call for applications: Computer Science and Engineering
Deadline December 5th 2008
Classes start in March 2009
Students can apply if they obtain their degrees before December 24, 2008
PhD in Computer Science and Engineering
The doctoral Program aims to prepare researchers and professionals
with broad training in the foundations of informatics as well […]
–===============1123897034==
Content-Type: multipart/alternative;
boundary=”============_-989849455==_ma============”
–============_-989849455==_ma============
Content-Type: text/plain; charset=”us-ascii” ; format=”flowed”
PhD in Lucca, Italy
Call for applications: Computer Science and Engineering
Deadline December 5th 2008
Classes start in March 2009
Students can apply if they obtain their degrees before December 24, 2008
PhD in Computer Science and Engineering
The doctoral Program aims to prepare researchers and professionals
with broad training in the foundations of informatics as well […]
Apologies for multiple posting!
Please, forward the announcement to whoever may be interested in it.
Thanks.
*********************************************************************
Final Call for Papers
3rd INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2009)
Tarragona, Spain, April 2-8, 2009
http://grammars.grlmc.com/LATA2009/
*********************************************************************
AIMS:
LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications […]
Dear all,
below please find a job announcement for a position as
Associate/Assistant Professor in Requirements Engineering
at Denmark’s Technical University (DTU).
For more information, please, have a look at
http://www.imm.dtu.dk/Om_IMM/Ledige_stillinger.aspx?guid=23036021
Best regards,
Ekkart Kindler
–
Ekkart Kindler […]
Apologies for multiple posting!
Please, forward the announcement to whoever may be interested in it.
Thanks.
*********************************************************************
Final Call for Papers
3rd INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2009)
Tarragona, Spain, April 2-8, 2009
http://grammars.grlmc.com/LATA2009/
*********************************************************************
AIMS:
LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications […]