PhD student position in the Octopi project
Chalmers University of Technology, Department of Computer Science and Engineering
Sweden

PhD student position in the Octopi project

Information about the department
The department of Computer Science and Engineering is a joint department between Chalmers University of Technology and the University of Gothenburg. The department has around 270 employees from over 30 countries. The research spans 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 PhD position is within the recently granted project Octopi: Secure Programming for the Internet of Things (IoT). Octopi focuses on overcoming major research challenges to securely programming IoT systems. It sets two important goals: (i) the conception of programming models and mechanisms to provide system-wide security guarantees, and (ii) the utilization of functional languages, and their benefits, to program constrained devices. 

PhD students will join high-profile groups of researchers on security and functional programming with a rich network of collaborators and visibility across several research communities. Octopi's faculty members have a strong tradition in successfully applying the functional programming Haskell to different domains: protection of privacy of data (https://hackage.haskell.org/package/lio),  
testing (https://hackage.haskell.org/package/QuickCheck),  
SAT-solving and theorem proving (https://github.com/nick8325/equinox),  
hardware and software verification (https://www.chalmers.se/en/areas-of-advance/ict/news/Pages/Carl-JohanSeger.aspx) and 
digital signal processing (https://hackage.haskell.org/package/feldspar-language).

Major responsibilities
The PhD student will join the Octopi project funded by the Swedish Foundation for Strategic Research (SSF). The project will further research on (i) using high-level languages to program constrained devices, (ii) finding suitable programming models for IoT, and (iii) developing security mechanisms to obtain system-wide guarantees. The programming language of the project is Haskell (https://www.haskell.org/). The work is expected to range from establishing new theoretical foundations to building mature prototypes. Four PhD students have already been employed, and now we seek one more. 

The PhD student that we seek is to be supervised by Octopi faculty member Prof. Koen Claessen. She/he will work closely with the other Octopi faculty: Prof. Alejandro Russo (leader of the project), Prof. Mary Sheeran, Prof. Carl-Johan Seger, and Prof. John Hughes.

Position summary
Full-time temporary employment. The position is limited to a maximum of five years. Normally, 20% of the time is allocated to departmental work (mainly teaching duties). The salary for each position is as specified in Chalmers/general agreement for PhD student positions. The position is intended to start in the fall of 2019.

Qualifications
The successful applicant needs to have a Masters degree or degree of similar level in computer science, computer engineering, or a closely related discipline. You may apply if you have not completed all requirements for your degree, provided you will have them before the position starts. 

Competitive candidates are those who have a strong background in at least one of the following areas: functional programming and programming languages in general, automated reasoning, security, and embedded systems together with a willingness to quickly learn all of them; an excellent analytical and communication skills; strong skills on both theoretical and practical aspects of computer science. Experience with (embedded) domain specific languages is a particular merit for the positions. 

Prior published (or under submission) publications are meritorious. 

Whereas both Swedish and English are used in undergraduate courses, English is the working language for research at the Department of Computer Science and Engineering. In this light, fluency in English is mandatory for candidates, but knowledge of Swedish is not required. 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 20190436 and written in English. The application should be sent electronically and be attached as pdf-files, as below:

CV: (Please name the document: CV, Family name, Ref. number)
• A curriculum vitae (2 A4 pages max, 11pt font) detailing your education, research achievements (if any), and work-related experience (if any).
• Other, for example previous employments or leadership qualifications and positions of trust.
• Two references that we can contact.

Personal letter: (Please name the document as: Personal letter, Family name, Ref. number)
• Cover letter (1 A4 page max, 11pt font) summarizing your background, track record, and interest in the Octopi project and its tracks.
• Describe your future goals and future research focus

Other documents:
• A document that you have written (e.g. a paper, thesis or report).
• Official transcripts of your education certificates (degrees, including grade reports and other documents when applicable).
• Two letters of recommendation together with the name and contact information of the referees who wrote them. It is preferable that you directly include letters of recommendation; we typically get a large number of applications, and it is not feasible for us to request letters for all applicants.

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

Application deadline: 28 September, 2019

For questions, please contact:
Professor Koen Claessen, e-mail: koen@chalmers.se
Professor Alejandro Russo, e-mail: russo@chalmers.se

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


If you apply for this position please say you saw it on Engineeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions

University of Zurich Job Postings