Hello -cafe, There's a very cool Haskell job opening at Functor AB, involving some cool type theory, for use in nuclear fusion research. You can read about it here: http://alpmestan.com/posts/2012-10-23-haskell-job-opening-at-functor.html -- Alp Mestanogullari