--------------------------------------------------------------------------------- Post-doc position in using Functional Languages for Secure Programming of IoT devices at Chalmers University of Technology, Sweden ---------------------------------------------------------------------------------
Chalmers University of Technology is hiring: Post-doc position (2 years) * Important dates: Dec 19th - Deadline January 24 - 29 - Tentative week for interviews (via Zoom or similar tool) Chalmers is aiming to actively increase our gender balance. The CSE department is working broadly with the GENIE Initiative on gender equality for excellence. Candidates from minority groups are especially encouraged to apply! * Expected starting date: preferably March 2021. For details, including employment conditions and how to apply, see: https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=8918 --------------------- Detailed description: --------------------- The position is within the project Octopi: Secure Programming for the Internet of Things (IoT). Octopi is dedicated to contributing and further research on (i) utilizing high-level languages to program constraint 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/). Applicant's work is expected to range from establishing new theoretical foundations to building mature prototypes. Octopi presents many research tracks dedicated to tackling ambitious challenges: - Programming model This track focuses on developing programming models which capture the common coding patterns (and architecture) of IoT applications. Our latest publication (HASKELL'20): https://dl.acm.org/doi/abs/10.1145/3406088.3409027 - Compilation and runtime This track focuses on the design and implementation of languages and their runtime which are tuned to run on low power, memory-constrained microcontrollers. It also explores techniques to guarantee both safety and security measures about the runtime as well as programs. Our latest publication (PPDP'20): https://dl.acm.org/doi/abs/10.1145/3414080.3414092 - Hardware support This task is aimed at the endpoints of IoT systems. It plans on creating 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. Our latest publications on Cephalopode and Stately are to appear at MEMCODE'20: https://iitjammu.ac.in/conferences/memocode2020/listofacceptedpapers.html - Penetration testing High-level languages prevent developers from introducing a wide class of security-related bugs that plague low-level ones. Nevertheless, programs written in a high-level language interacts, via bindings, with the underlying OS. The binding code is responsible to bridge the semantic gap across both languages, which constitutes a door for security bugs. This task plans to provide a smart fuzzing tool to test such binding code for vulnerabilities. Our latest publication (IFL'19): http://www.cse.chalmers.se/~mista/assets/pdf/ifl19.pdf The post-doc 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), and digital signal processing (https://hackage.haskell.org/package/feldspar-language).
_______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell