[Haskell-cafe] job opportunity
mutjida at gmail.com
Tue Oct 16 23:10:18 EDT 2007
Here are the essential details...
Salary: enough to live comfortably in Manhattan
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.
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.
More information about the Haskell-Cafe