Research Software Developer - KTP Associate

University of Strathclyde / Cambridge Quantum Computing Limited
Location: Cambridge
Salary: Up to £36k p.a. plus £4k developmen budget
Closing Date: 6th October 2019

The Department of Computer and Information Sciences in partnership with Cambridge Quantum Computing (www.cambridgequantum.com) are seeking to appoint a Knowledge Transfer Partnership (KTP) Associate in the area of quantum computing, with a focus on dependently typed programming languages for quantum computers.

Established in 2014, Cambridge Quantum Computing (CQC) is a world leading independent quantum computing software company. CQC design solutions that benefit from quantum computing even in its earliest forms and allow the most effective access to these solutions for the widest variety of corporate and government users.

CQC combines expertise in the product areas of quantum software, specifically a quantum compiler t|ket⟩, enterprise applications in the area of quantum chemistry, quantum machine learning (“QML”), and quantum encryption.

The successful applicant will join one of the most exciting young companies in the world with the potential to dominate innovation across all aspects of the economy and society.
Based in CQC’s office in Cambridge and supported by the academic team at the University of Strathclyde, the KTP Associate will design and implement an advanced programming language for quantum computers. The associate will work closely with CQC’s compiler and application teams to ensure that the language is appropriate for current quantum hardware, and meets the needs of its eventual end users.

To be a successful applicant, you will have a BSc Honours level degree qualification in Computer Science with relevant advanced classes in a suitable curriculum, such as in Advanced Functional Programming for example. You will have a strong mathematical background and will have experience in advanced aspects of functional programming. You will be a strong programmer with a mathematically rigorous approach and a sharp mental model of the semantics of your code.

Having an MSc or PhD in Computer Science or Software engineering is desirable but not essential for this role.

You will need to have experience in at least one of the following; category theory, dependently typed programming, sub-structural logic, compiler construction or quantum computing. Having experience in more than one is highly howeverdesirable aptitude and enthusiasm to learn these topics is fundamental.

The Knowledge Transfer Partnership (KTP) programme aims to help businesses to improve their competitiveness and productivity through the better use of knowledge, technology and skills that reside within the UK knowledge base. Successful Knowledge Transfer Partnership projects are funded by UK Research and Innovation through Innovate UK and are part of the government’s Industrial Strategy. To find out how KTP works and the vital role you will play if you successfully secure a KTP Associate position please visit: www.ktpws.org.uk

The Department of Computer and Information Sciences in partnership with Cambridge Quantum Computing (www.cambridgequantum.com) are seeking to appoint a Knowledge Transfer Partnership (KTP) Associate in the area of quantum computing, with a focus on dependently typed programming languages for quantum computers.
Established in 2014, Cambridge Quantum Computing (CQC) is a world leading independent quantum computing software company. CQC design solutions that benefit from quantum computing even in its earliest forms and allow the most effective access to these solutions for the widest variety of corporate and government users.
CQC combines expertise in the product areas of quantum software, specifically a quantum compiler t|ket⟩, enterprise applications in the area of quantum chemistry, quantum machine learning (“QML”), and quantum encryption.

The successful applicant will join one of the most exciting young companies in the world with the potential to dominate innovation across all aspects of the economy and society.
Based in CQC’s office in Cambridge and supported by the academic team at the University of Strathclyde, the KTP Associate will design and implement an advanced programming language for quantum computers. The associate will work closely with CQC’s compiler and application teams to ensure that the language is appropriate for current quantum hardware, and meets the needs of its eventual end users.

To be a successful applicant, you will have a BSc Honours level degree qualification in Computer Science with relevant advanced classes in a suitable curriculum, such as in Advanced Functional Programming for example. You will have a strong mathematical background and will have experience in advanced aspects of functional programming. You will be a strong programmer with a mathematically rigorous approach and a sharp mental model of the semantics of your code.
Having an MSc or PhD in Computer Science or Software engineering is desirable but not essential for this role.

You will need to have experience in at least one of the following; category theory, dependently typed programming, sub-structural logic, compiler construction or quantum computing. Having experience in more than one is highly howeverdesirable aptitude and enthusiasm to learn these topics is fundamental.

The Knowledge Transfer Partnership (KTP) programme aims to help businesses to improve their competitiveness and productivity through the better use of knowledge, technology and skills that reside within the UK knowledge base. Successful Knowledge Transfer Partnership projects are funded by UK Research and Innovation through Innovate UK and are part of the government’s Industrial Strategy. To find out how KTP works and the vital role you will play if you successfully secure a KTP Associate position please visit: www.ktpws.org.uk

For more information including details of how to apply please click here 

Posted in: West, Vacancy