[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Department of Computer Science at the University of Oslo, in the Group of ``Precise Modelling and Analysis'' has open positions both at Ph.D level and at Post-Doc level in areas that could be of interest of readers of this email list. ---------------------------------------------------------------------- 2-3 PhD-positions and up-to 2 dost doctor positions ---------------------------------------------------------------------- starting 1. September. Application deadline: 10. August. --------------------------------------------------------------------- The general areas include: semantics of (object-oriented) programming languages, concurrency and distributed systems, formal methods, software engineering, and formal program analysis and verification. Detailed descriptions about the requirements, the topics of work, the projects the positions are related to, the work group, about salary and about Norway as work environment etc. can be found at the long version of the advertisement under: http://www.ifi.uio.no/forskning/grupper/pma/index_e.html