[Haskell-cafe] Postdoc ad: quantum-computing programming languages

[Scott Pakin]

My institution just bought a D-Wave 2X adiabatic quantum computer.
The problem is, no one really has a grasp on how to *program* an
adiabatic quantum computer.  It's a totally different beast from the
gate-model quantum computers that most people imply when they talk
about quantum computing.

I'm looking to hire a postdoc to work with me on designing and
implementing programming models suitable for execution on D-Wave-style
quantum computers.  The formal job ad can be found at
http://tinyurl.com/jdlo556 or go to http://jobs.lanl.gov/ and look up
job IRC49031.

Disclaimer: This is not specifically a Haskell-hacking position,
although you can use any language you want for the classical-side
development.  I'm posting here because a key skill I'm looking for is
breadth of language knowledge.  I see a candidate who knows nonstrict
functional programming, declarative programming, and maybe a few
"fringe" programming models as more valuable than one who knows only a
dozen isomorphic imperative languages.

-- Scott