[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*PhD* and *Postdoc* Positions in Programming Language-based Security Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: January 12, 2011 ------------------------------------------------------------------------ *Job description* The PhD students and postdocs will join a world-leading team of researchers on programming language-based security. Language-based security facilitates specifying and enforcing security policies at the level of programming languages early in the software design and construction phase. The focus of the advertised positions is on the following directions of work: - To design rich security policies for confidentiality and integrity, as demanded by practical applications (such as web applications). - To develop practical enforcement mechanisms for these policies in expressive programming languages (such as web languages). These enforcement mechanisms may combine static (for example, type system-based) and dynamic (for example, execution monitoring-based) techniques. - To support the above with case studies in web-application security. In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners. ------------------------------------------------------------------------ *Details about Employment* PhD student positions are limited to five years and will then normally include 20 per cent departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers' general agreement for PhD student positions. Currently the starting salary is around 25,000SEK a month before tax. The positions are intended to start in spring or fall 2011. Postdoc positions are typically for one year with possibility for extension with one year (two years in total is the typical duration). As a Chalmers employee, the monthly salary will be set according to current salary agreements (currently around 33,000SEK before tax). The starting date is negotiable. ------------------------------------------------------------------------ *Suitable Background* Applicants for a PhD position must have a degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. The ideal candidate for the project will have strong background in both programming languages and security. You may even apply if you have not yet completed your degree, but expect to do so before the position starts. Applicants for a Postdoc position should have a recent PhD degree in Computing Science. They must have a well-documented research track record. Expertise in either programming languages or security and interest to both areas is a prerequisite. You may even apply if you have not yet completed your PhD degree, but expect to do so before the position starts. ------------------------------------------------------------------------ *The Department* The department provides a strong, international, and dynamic research environment with about 75 faculty and 75 PhD students. For more information, see http://www.chalmers.se/cse/EN/ . Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes. The rest come from more than 30 different countries. ------------------------------------------------------------------------ *How to Apply* Electronic application can be submitted following these guidelines: PhD positions: http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-positions-in Postdoc positions: http://www.chalmers.se/cse/EN/news/vacancies/positions/post-doc-positions-in