Post-doc position in taking functional language to embedded devices

Join us in the research project "Octopi: Secure Programming for the Internet of Things", set to secure the software running in IoT devices!

Octopi's research combines techniques from functional programming, compilers, domain-specific languages, security (information-flow control), hardware design & verification as well as data privacy.

Information about the department
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.

This position is to be carried out with team of researchers from both Information Security and Functional Programming. Both teams combine world-class researchers in language-based security and functional programming.

Chalmers aims to actively increase our gender balance. As an employee at Chalmers, you are given the opportunity to contribute to our active work within the field of equality and diversity. We are working broadly with equality projects, for example, the GENIE Initiative on gender equality for excellence. For more information, visit the GENIE website.

Major responsibilities
You will be joining the research project "Octopi: Secure Programming for the Internet of Things", which is set to solve many security challenges facing the IoT industry. Octopi is dedicated to contribute and further research in the following directions: (i) utilizing functional languages to program constraint devices, (ii) finding suitable programming models for IoT, (iii) the design of special hardware to support complex runtime functionalities, (iv) the creation of security mechanisms to confine collected sensitive data, and (v) the design of data analyses to ensure the privacy of users interacting with IoT devices. Applicants are expected to contribute to one or more of Octopi's research directions by establishing new theoretical foundations as well as building mature prototypes.

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 PhD degree in computer science or computer engineering. You may apply if you have not completed all requirements for your Ph.D. degree, provided you will have before the position at Chalmers starts.

Competitive candidates are expected to have a strong background, with a proven publication record, in either of the following fields: functional programming, modern micro-architecture designs, or formal verification & security.

Whereas both Swedish and English are used in undergraduate courses, English is the working language for research in Chalmers's Department of Computer Science and Engineering. Thus, fluency in English is mandatory for candidates, but knowledge of Swedish is not required, 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.

READ MORE AND APPLY HERE

Application deadline: 19 December 2020

For questions, please contact:
Professor Alejandro Russo
E-mail: russo@chalmers.se
Phone +46 31-7726156

*** 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!