experience in the theory of quantum programming languages (expertise in topics listed above is an asset) Website... applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics...
theory of quantum programming languages (expertise in topics listed above is an asset) Website for additional... for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non...