quantum programming languages

We offer a 2-years post-doctoral position in the area of quantum computing, quantum programming, and the analysis of quantum algorithms at the Quantum Systems of Informatics Group at the Institute of Theoretical and Applied Informatics, Polish Academy of Sciences, Gliwice, Poland. The position is founded within the scope of Polish National Science Centre project Impact of input data alteration and modification of the algorithm parameters on the efficiency of quantum programs.

Submission deadline: 

Sunday, April 1, 2018

Registration deadline: 

Sunday, June 3, 2018

Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.

CAPP is a team of the LIG (Laboratoire d'Informatique de Grenoble) devoted to theoretical computer science.
The CAPP group is a place where both classical and non-quantum computational models are designed and studied, with a focus on Algorithms, Programs and Proofs.

Laboratory of Quantum Information Processing and Cryptography was founded in Autumn of 2004. Research in Laboratory is aimed especially on information aspects of quantum information processing, in particular quantum cryptography, information theory, quantum communication and algorithms. Theoretical aspects of classical cryptography, especially problems solvable with security that can be proved with help of information theory, are studied as well.

We are working on:
* Quantum programming languages
* Quantum games
* Geometry of quantum states
* Simulations of quantum computing

* Ryszard Winiarczyk (head of the group)
* Jerzy Klamka
* Piotr Gawron
* Jarosław Adam Miszczak
* Zbigniew Puchała
* Krzysztof Domino (post-doc)
* Przemysław Sadowski (PhD student)
* Łukasz Pawela (PhD student)
* Dariusz Kurzyk (PhD student)
* Adam Glos (MSc student)
* Mateusz Ostaszewski (MSc student)

Subscribe to RSS - quantum programming languages