[Haskell] Postdoctoral Researcher at Stevens Institute of Technology in domain-specific languages, security and privacy