Hello,

  Here are the essential details...

Location: NYC

Industry: finance

Salary: enough to live comfortably in Manhattan

Hard Requirements:
    Must be able to work in the USA (we can't get you a worker's visa).

    Must be an expert level Haskell user; must be comfortable with
monads, monad transformers, type level programming (i.e. MPTC,
overlapping and undecidable instances), and lazy evaluation (i.e. know
how to find and eliminate space leaks).

   Must have a desire to use modern PL research in the real world.

Soft Requirements:
    Experience with low-level Haskell programming (i.e. FFI).

    Experience with Linux and Cygwin/Windows.

    Knowledge/experience in dependently typed programming.

    Knowledge/experience in logic programming.

If anyone is interested, please contact me to find out more.

thanks,
  Jeff