[TYPES/announce] Post-doc position at Chalmers University of Technology

[Alejandro Russo]

---------------------------------------------------------------------------------
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 recently 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).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201105/bd0b9f43/attachment-0001.htm>