RESEARCH POSITIONS IN CONCURRENCY THEORY The Concurrency Group of the Institute for Computer Science at the University of Mannheim invites applications for - 1 PhD POSITION - 1 POSTDOCTORAL POSITION Candidates should have a solid background in Mathematics/Theoretical Computer Science. A strong interest in scientific research is expected. The Concurrency Group is involved in research in the area of specification and verification of reactive systems. Recent projects were related to e.g. - underspecification in reactive systems, - hierarchical development and verification of reactive systems - refinement in true concurrency real time models - various aspects of time in reactive systems - probabilistic and stochastic aspects of reactive systems - categorical characterization of properties of reactive systems Consult also our web-page http://pi2.informatik.uni-mannheim.de for more details. Candidates are asked to send a vita with references to Prof. Dr. Majster-Cederbaum Institut f�r Informatik Universit�t Mannheim D 7,27 D-68131 Mannheim or to contact us via mcb@informatik.uni-mannheim.de -- Prof. Dr. Mila Majster-Cederbaum Universitaet Mannheim / Lehrstuhl Praktische Informatik II D7, 27 / D-68131 Mannheim Tel: 0049-621/181-2561 email: mcb@informatik.uni-mannheim.de Fax: 0049-621/181-2560 WWW: http://pi2sun1.informatik.uni-mannheim.de 10-Jun-2002 13:37:44 -0300,1205;000000000001-00000000