[TYPES/announce] Job ad : quantum programming language designer wanted

[Ross Duncan]

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 ross.duncan at cambridgequantum.com or conor.mcbride at strath.ac.uk for more information.

-r