Vojtech Horky: SPL Progress Report
(2012-05-23 09:00 in S7)

D3S has become a Google Summer of Code 2012 mentoring organization for the HelenOS microkernel multiserver operating system. We are honoured that Google decided to select us again after our last year's successful mentoring. For more details have a look at our ideas list.

There is one PhD candidate position in the area of service oriented systems available at the Charles University, Prague, Czech Republic. The position will be funded in the framework of the Marie-Curie European ITN Relate.

The offered PhD thesis topic will be in the area of Formal Specification of Services.

Contact: Tomáš Bureš, bures<at-sign>d3s.mff.cuni.cz

More information on eligibility and how to apply at www.relate-itn.eu.

Are you interested in

• Component systems?
• Software verification?
• Software benchmarking?
• Operating systems?

Consider Ph.D. studies at D3S!