[Haskell] Post-doc (Amsterdam) in programming languages and energy-, time- and security-aware parallel computing