id: MTk3MzI0IDEyMQ

reference: 197324

documentId: 7940971

connectionPointId: 121

lastModificationDate: 1537765740417

Jobbtitel:
Two Phd students in Functional Programming for guaranteed security in...

Arbetsbeskrivning:
Information about the research 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. Major responsibilities PhD students 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. Three PhD students have already been employed, and now we seek two more to work on the following two research tracks: Track A. Locality of data In data-driven IoT systems, users must be able to express and control easily the choice of whether to migrate data to functions or functions to data.  This task focuses on finding ways to provide such control without giving up the benefits of programming in a high-level language.  It will be important to give the user control over not only data location but also garbage collection. Thus, there will be a link to other work on the project on programming models and compilation, and also to the following track on hardware support. Track B. Hardware support This task is aimed at the end points of IoT systems. It plans to create a processor aimed specifically at executing functional languages directly and efficiently. This entails both creating an efficient graph reduction engine as well as built-in support for garbage collection. The task primarily evaluates the feasibility of this approach by mapping the experimental architectures onto FPGAs and extracting power and performance numbers from these implementations. Please indicate the tracks that interest you. The positions are intended to start in early 2019. Position summary Full-time temporary employment. The position is limited to a maximum of five years. 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, 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 domain specific languages and/or hardware design is a particular merit for these two positions. 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 20180509 and written in English. The application should be sent electronically and be attached as pdf-files, as below: • A cover letter (1 A4 page max, 11pt font) summarizing your background, track record, and interest in the Octopi project and its tracks. • A curriculum vitae (2 A4 pages max, 11pt font) detailing your education, research achievements (if any), and work-related experience (if any). • Official transcripts of your education certificates (degrees, including grade reports and other documents when applicable). • A document that you have written (e.g. a paper, thesis or report). • 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: 24th of October 2018. Interviews will take place in late November. *** Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. ***         

numberOfPosts: 2

jobCategoriesCodes_0: http://data.europa.eu/esco/isco/C2310

abstractJV_contact_0:
Link to the vacancy on the Swedish job board

requiredEducationLevelCode: 0

requiredYearsOfExperience: 0

positionTypeCode: temporary

contractTypeCodes_0: fulltime

Arbetsgivare Namn: Chalmers Tekniska Högskola AB

source: PES-SWEDEN