2 *PhD* Positions in Programming Language-based Security at the Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden

PhD student position in language-based security 

 

The Department has about 70 faculty members and enrolls about 70 PhD students from more than 30 countries. The research spans the whole spectrum, from theoretical foundations to applied systems development. There is extensive national and international collaboration with academia and industry all around the world.

Information about the division

The Programming Language-Based Security group is a world-leading research group with a high-profile research track record and an excellent network of collaborators in both academia and industry. The group has developed the link between two areas of computer science: programming languages and computer security. The group explores security models and enforcement mechanisms based on programming-language technology. This technology facilitates rigorous specifications of security policies as well as their mechanical verification. We publish in prestigious venues in both computer security and programming languages. We run a number of ambitious projects with top international partners in academia and industry, including European project WebSand on web application security: https://www.websand.eu/
Job description
The PhD student 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 position 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.

The employment is limited to a maximum of five years.
Qualifications
Applicants shall have a Master’s Degree or corresponding (Sw. civilingenjörsexamen) in Computer Science, Computer Engineering, or in a related discipline. A genuine interest and curiosity in the subject matter and excellent analytical and communication skills, orally as well as literally, are needed. Strong research interest and relevant research track record must be well documented in the application.

You may apply even though you might not have completed your degree yet, but expect to do so before the position starts. Knowledge of Swedish is not a prerequisite for applying since English is our working language for research, and we publish internationally. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students at the department come from more than 30 different countries.
 Application procedure

The application should be marked with Ref 20130042 and written in English. The application should be sent electronically and be attached as pdf-files, as below:

1. Application:  (Please name the uploaded document in ReachMee as: APPLICATION, family name, ref. number)
   - CV,
   - attested copies of education certificates, including grade reports and other documents, English language test, e.g. TOEFL score,
   - letters of recommendation from academic institutions and/or previous employers (compulsory),
2. A letter of application detailing your specific qualifications for the position (named: QUALIFICATIONS, family name, ref. number)
   - maximum one A4 page
3. Publications: (named: PUBLICATION, family name, ref. number)
   - relevant work such as bachelor's or master's thesis (or outline of a thesis under preparation).

Please use the button at the foot of the page to reach the application form. The files may be compressed (zipped).
Application deadline: 2013-03-30
For questions, please contact:
Professor Andrei Sabelfeld
Computer Science and Engineering
Software Technology
andrei@chalmers.se
+46 31 772 1018