Ads

PhD Scholarship Position in The Octopi Project at Chalmers University of Technology

Chalmers University of Technology is pleased to invite applicants to apply for a new opening PhD position in signal processing. The funding allows successful candidate to work for five years. Applications are welcome before September 28, 2019.

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.

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 offers a cultivating and inspiring working environment in the dynamic city ofGothenburg.

Read more aboutworking at Chalmersand ourbenefitsfor employees.

Application procedure

The application should be marked with Ref 20190436 and written in English.

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

- 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).

Application deadline: 28 September, 2019

ProfessorKoen Claessen, e-mail: koen@chalmers.se

Professor Alejandro Russo, e-mail: russo@chalmers.se


Summary:

More scholarships: phd position in signal processing, phd fellowship in computer science, phd position in nanotechnology, phd scholarship in life sciences, phd position in mathematics, signal processing phd position, computer science phd fellowship, nanotechnology phd scholarship, life sciences phd scholarship, mathematics phd position, phd fellowship in sweden, phd position at chalmers university of technology

Get latest scholarships via your email! It's free!
Remember to check your email and active the subscription.
You can unsubscribe any time.
Copyright © 2015 HuntScholarship.com. All Right Reserved.