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