Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Ph.D Student at the SSE group of the Institute of Informatics (IvI, UvA)

The Section Software Engineering (SSE, former Programming Research Group) headed by Prof.Dr. Jan Bergstra, is part of the Computing, System architecture and Programming Laboratory. Its research comprises the design and systematic use of algebraic methods in specification languages and program transformations. Current research in our Programming Methods project is focused on program and thread algebra, an algebraic approach to program syntax and semantics. The research aims at making contributions for practitioners - programmers, implementers, standardisers, lecturers, and students - who need for their work a complete, correct and at the same time graspable language definition.

The SSE group of the Institute of Informatics has a vacancy for a Ph.D Student (full-time) with a thorough theoretical background and an interest in Formal Methods. Closing date is 29 November 2008. For more information, see http://www.uva.nl/vacatures/vacatures.cfm/909D9D9C-1321-B0BE-A46068D1E35497D3 or contact Dr. Inge Bethke at (please refer to the vacancy number 08-1074).

Please note that this newsitem has been archived, and may contain outdated information or links.