O-O NEWS & EVENTS

Assistant (PhD) and postdoc positions in O-O, concurrency, components, proofs at ETH Zurich

The chair of software engineeering at ETH Zurich (Profs. Bertrand Meyer and Peter Müller) has immediate openings for several assistant positions and a postdoc in connection with grants received from the Hasler foundation, the ETH and the Swiss National Science Foundation.

Some of the positions are for work on concurrency (the SCOOP approach) and others for producing object-oriented components equipped with full proofs of correctness, as part of the general goal of the Trusted Components project.

For details please see the announcement at http://se.inf.ethz.ch/jobs/