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 [...]
–===============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 [...]
–===============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 [...]
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 [...]
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 Tel.: +45 4525 3750 Technical University of Denmark Fax.: +45 4525 2673 Informatics and Mathematical Modelling Room: [...]
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 [...]