Universiteit van Amsterdam

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

PhD student positions in Programming Methodology, Zürich, Switzerland

The Chair of Programming Methodology is recruiting PhD students to do research in the following areas:
- Static program analysis, especially abstract interpretation for mobile TouchDevelop
- Verification of concurrent programs, especially Scala programs
- Programming languages
- Programming environments

Applications and questions should be sent to Prof. Peter Müller at . We will consider applications until the positions are filled. For more information, see http://www.pm.inf.ethz.ch/open_positions/.

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