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

Francesco Occhipinti 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
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160331/fd8137f4/attachment.html>

More information about the Haskell-Cafe mailing list