Postdoctoral Researcher in Programming Language Technology for Privacy

The Information Security Division at the Department of Computer Science and Engineering offers a position as Researcher, typically at post-doctoral level, in the research field of Programming Languages, with a focus on language-based techniques in privacy. The research is part of a dynamic and highly visible international group working on security and privacy.

Information about the department and the project
The Department of Computer Science and Engineering is a joint department at Chalmers University of Technology and the University of Gothenburg, with activities on two campuses in the city of Gothenburg. The department has around 210 employees from over 30 countries. Our research has a wide span, from theoretical foundations to applied systems development. We provide high quality education at Bachelor's, Master's and graduate levels, offering over 120 courses each year. We also have extensive national and international collaborations with academia, industry and society.

The position is within the information security group, consisting of three full professors and an associate professor, active in research on a range of topics in security and privacy, with a particular emphasis on the application of programming language methods.

The research will be within a project "Perspex: Flexible and Transparent Local Differential Privacy" funded by the Swedish Research Council. The project aims to develop semantically sound analysis and verification methods for differential privacy.

Major responsibilities
The successful applicant will be expected to collaborate on research related broadly to the goals of the project, and to publish in leading international venues. Additionally the successful applicant will be expected to perform some supervision of Batchelor's and Master's thesis projects for at most 10% of their time, as well as possible co-supervision of PhD students.

Position summary
Full-time temporary employment. The position is limited to a maximum of two years (1+1).

Qualifications
To qualify for the position of postdoc, you must have a doctoral degree in Computer Science or equivalent research background (the degree should generally not be older than three years), proven research skills in relevant areas of programming languages (semantics, formal verification, static analysis, type systems) as well as experience and knowledge of reasoning about probabilistic systems in general, and preferably within differential privacy. Experience with university level supervision is a merit.

The position requires sound verbal and written communication skills in English. Swedish is not a requirement but Chalmers offers Swedish courses.

Chalmers continuously strives to be an attractive employer. Equality and diversity are substantial foundations in all activities at Chalmers.

Our offer to you
Chalmers offers a cultivating and inspiring working environment in the dynamic city of Gothenburg. 
Read more about working at Chalmers and our benefits for employees.

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

CV: (Please name the document as: CV, Surname, Ref. number) including:
• CV, include complete list of publications
• Previous teaching and pedagogical experiences
• Two references that we can contact.

Personal letter: (Please name the document as: Personal letter, Family name, Ref. number)
1-3 pages where you:
• Introduce yourself
• Describe your previous research fields and main research results
• Describe your future goals and future research focus

Other documents:
• Attested copies of completed education, grades and other certificates.

Please use the button at the foot of the page to reach the application form. The files may be compressed (zipped).

Application deadline: 1st December 2020

For questions, please contact:
Professor David Sands
E-mail: dave@chalmers.se
+46 073 720 7663

*** Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. *** 
   



Chalmers University of Technology conducts research and education in engineering sciences, architecture, technology-related mathematical sciences, natural and nautical sciences, working in close collaboration with industry and society. The strategy for scientific excellence focuses on our six Areas of Advance; Energy, Health Engineering, Information and Communication Technology, Materials Science, Production and Transport. The aim is to make an active contribution to a sustainable future using the basic sciences as a foundation and innovation and entrepreneurship as the central driving forces. Chalmers has around 11,000 students and 3,000 employees. New knowledge and improved technology have characterised Chalmers since its foundation in 1829, completely in accordance with the will of William Chalmers and his motto: Avancez!