[Haskell-cafe] Postdoc ad: quantum-computing programming languages
f.occhipinti at gmail.com
Thu Mar 31 20:12:19 UTC 2016
It is amazing to see this coming. Philip Wadler uses to say that λ-calculus
is "Multiversal" ... I guess that with the paradigm shift brought by
quantum computing we will have an opportunity to verify the statement!
2016-03-31 22:05 GMT+02:00 Scott Pakin <pakin at lanl.gov>:
> 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
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe