[Haskell] PhD and Postdoc Positions in Language-based Security at Chalmers

Andrei Sabelfeld andrei at chalmers.se
Thu Nov 25 13:28:24 EST 2010


*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


More information about the Haskell mailing list