Position for Junior Researcher / assistant-doctorant  in Computer Science

CUI - Software Modelling and Verification Group

The Software Modelling and Verification Group <http://cui.unige.ch/~smv> of the Centre Universitaire d'Informatique <http://cui.unige.ch>, University of Geneva, Switzerland, has an opening for a

   Junior Researcher in Computer Science (Ph.D. Student) /
   assistant-doctorant en informatique

The new collaborator will participate in the research and teaching activities of the Group Research work is intended to lead to a Ph.D. thesis.

The University of Geneva is a leading university for education and research with an excellent reputation on the five continents.

The Software Modelling and Verification Group is involved in teaching and research in software engineering with an emphasis on development methods, verification techniques and supporting tools. Our work focuses on object-oriented approaches covering a large set of development activities: formal specifications, coordination language, prototyping, programming and testing. The Group has an in-depth expertise in the object oriented specification formalisms and developped its own formalism called CO-OPN (Concurrent Object Oriented Petri Nets) and their supporting tools. Our research work on object-oriented methods aims at integrating formal methods (algebraic specifications and Petri nets) into the classical descriptive approaches, and at applying them in distributed systems with dynamic configuration such as pervasive computing.  Current projects aim at automatically generating test cases from specifications written in CO-OPN and in the UML.

More about the Group can be found on its WEB site: http://cui.unige.ch/~smv

A prospective candidate should have a B.Sc. (Hons), B.Tech. (Hons) or M.Sc. in Computer Science. Excellent English or French, in writing and speaking, is required, and some knowledge in the other language is an asset. / Formation exigée: diplôme ou titre universitaire (DEA ou master) en informatique.

Applications should include a CV and covering letter including contact information for two or three references. We anticipate filling these positions at the earliest convenience.

Applications and inquiries should be addressed to (postal mail or e-mail):