[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Please circulate this notice as widely as possible.
Position Open : Research Software Developer.
Where : Cambridge, UK
As part of a Knowledge Transfer Partnership, Strathclyde University and
Cambridge Quantum Computing Ltd (CQC) are looking for a researcher / software
developer to design and implement a new programming language for near term
quantum computers. The project will be supervised by Conor McBride and Ross
Duncan. Knowledge of linear dependent types would be very useful, as would
some familiarity with quantum computing.
This is a 2-year, full-time position, based in the offices of CQC in Cambridge.
The full details are here :
https://www.ktpws.org.uk/Default.aspx?tabid=4493&aid=13730&rid=4310
If you are interested please contact either [email protected] or
[email protected] for more information.
-r
