coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Dominique Unruh <unruh AT ut.ee>
- To: types-announce AT lists.seas.upenn.edu, cl-isabelle-users AT lists.cam.ac.uk, coq-club AT inria.fr, csf-attendees AT mail-infsec.cs.uni-saarland.de
- Subject: [Coq-Club] PhD Vacancy: Position on Verifying Quantum Programs
- Date: Tue, 5 Sep 2023 16:32:55 +0300
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ut.ee; dmarc=pass action=none header.from=ut.ee; dkim=pass header.d=ut.ee; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=nexsUqXHGgDzs1/m9HD3PCh6aLe/+qT0+CrMQJrM9Vk=; b=O578GdwUK24ilhif5O6xlgCNNdv0PJXnEYk0CQP/L2m0MjdmmRqF+Gd4NONMF8HOxjxZRtpIqHFolZPexoErd2Goljxyljohz5p/E4Wsvufb8DwYnvAH7yJ7v6yF6bku16ma0/uA7hfbuDqLEmEQWgJmFnxdXyF+oA3O1E0nAXItYXQOhzbZxB1h1rrmIUBAUD/o574Xzr1yDpIQpajd4cWF3qj8HCAqu1VuP97S1ImH31snqZ3+Np2bptsI2BhY33hGVD+nIWR+oPQYjRLzijQC2PEup6OG+A5b+SFH3KeanzLd6ij4BjvDYW3/dY36P8vhEVMKn1xMfCf+lWp2cA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=L/bobZb9J24mZSO7kGUHv36nfQW3voL1dzAw7i2tnsB+mc1XOSvo5XEF9qQujEpCDsepz3rAB3Bij8ETTjiwnzGoCY1OIMUHh00b1/cHXxsvowRR27F7jnGsNqmsaCSk9bScQhqxBg78Pe0aEeiQy9sGqaQtS5BWP8B9ZeybOw8EiQ5nQ6Togm62c7yyrXIX/GR8Vqtq8aKgP6wKatz8kiQABEX8lanz6QfrgiG/EouQgQwS86Hk+IxsFsHKALxA5omhK4GS/FUpVDFdsMtp2H7H1Rhm2c5UFt72Xy04fuWmmHKhXd2k3UYGhTdgbZADHMedTXocufFVt0ufakcHBg==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=unruh AT ut.ee; spf=Pass smtp.mailfrom=dominique.unruh AT ut.ee; spf=Pass smtp.helo=postmaster AT EUR02-DB5-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:leFIpKro4i6SoVP2PF8gJ0L1yfheBmIKYBIvgKrLsJaIsI4StFCzt garIBnTa6rfN2D0cop+O4vk/EoDuZaEmt5mQFc4rSg0Q3wb8OPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSs/jrRC9H5qyo42tJ5gFmPpingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2lpO5BEwb1oWlpTz uETdAEDSjetpfu5lefTpulE3qzPLeHGAblH4DRM52ycCvwrB5feX6/N+NlUmi8qgdxDFurfY MxfbidzaBPHYFtEPVJ/5JAWwL/u3yGgNWcE+RTE+MLb4ECLpOB1+LTqNdvTe8WXSINImFyFp krb4yL0D3n2MfTGk2bZqSj81rCncSXTAKIJSpGy9K5T30zI9FBOF0wQTHaavqzs4qK5c5cFQ 6AOwQIlqrF3/0i2RPHmThigqTiFuAQdUpxeCYUHBBqlz6PV50OVDDUJUyQZMtsg7pdnGHoty 0ODmM7vCXp3qrqJRHmB97CS6zSvJSwSKmxEbigBJecY3+TeTEgIpkqnZr5e/GSd17UZwBmhm 27Ynzt0nLgJk88A2oOy+F2N0XrmpYHEQkRxrk/bV36spFExLoO0RZ2a2X6C59Z5LaGdUgagu loAkJOg9+wgN8yGuxGMZ+QvJ4uXwci5HgfSunNVJKl5xQ+RoyaiWaty/ABBIFxYN5dYWD3xP 27WlwBjxL5SG3qINKNcPoaDMOUx7K3aDd++fOvlXtlPRZlQdQG84yBlY3CL7V3tiEQBlaIeO 4+RVMSRUUYhFqVsyQSpS9cn0bMEwj40wUXRT8vZyyuL/KW/ZnnPb5s4K3qLM/4E6Z2brDXv8 9pwM9WAzzNdWrbcZgjV6YsiEkAYH0MkBJzZq91lScDbG1BIQFoeMv72xa8tX6dHnK4Pz+fBw Syba39ikVH6gSXKFBWOZnVdc4jQZJdYr0xqGQw3PF2t5WovXpb30ocbaKkMXOcG8M5N8KdKa scrKuu8BsZBcDDlwwgmTILcqdVifSu7hAjVMCuCZiM+TqFaRAfI24HFeDW30CwwCgu2qsoMj Lmy3SzLQZc4ZlpDDeSHTNmN3l+OrXwmt+YqZHTxI/5XY1TKzIhmDwfTn80HCZgABjubzwTLy jvMJwkToNf8hrMc8f7LtPiilJioGe4vJXhqNTDXwpjuPBaL41f555FLVduJWjXvVGnU3qGGT scNxtHeNMw3pnp7g7BeIZ1Kk51nv8DOooVExDtKBH/INlSnKo1xK0m8gPVgiPd/+a97iyCXB GS/osJXKJeYCvPDSVQxHjcoXs6H9PMTmwTR08gLHVXH1Hd30oaqAUR2FDuQuRNZN4pwYd8Ew /9+mcs46D6fqxsNM/SosB516EGNd1E5UZg7vMs4BKvu21Mn5XNcbaOBCQvwyoCFMO9IAxIQO jXO2LfI3IoEzGWTbXMiSHrHh7Jcob8suxl66kAICHrUu9jCh94xhAZw9xZuRCtr7xx36cBBE Uk1CF9QOoO14CZOuMdYemKnRiVtJUG8oxTq6l0rkGb5cRGZZlbVJjdgBdfXrVErzW1MWxN6o pSKw3nBehT3dpjT2iASZxZUm8b7R4YsyjyYydGVJOXbLZwUejG/v7SPY1APoB7ZAc8cok3Li O1p3eRoY53AKi8ijPwnOraeyIgvZkiIFE5aTdFl2ZE5L2XWVTWx+DqJck6PI5IHY7SA9EKjE MVhK/5eTxn0hm7EsjkfArVKOLNu2uIg4N0ZYL7wOGoaqP2loyF0tI7LvD3L7IPxrw6CTe5mQ m8QS96DLoBUrVZpoTeX6eVuZy+/a9RCYxDg1ueo9ulPD4gErOxnbUA11P2zommRNwxkuRmTu WsvoofImvd6x90Ec5TES81+68eccLsfl9hkNCiur5JDYLsj9O/Q4hgNpACP0xt+ZNMsthceq VhJmMPrmk7I1Frzv6Y1hLHZf5R0CQ6OsCa7/y45wLS2XcdPZSM03yY+xg==
- Ironport-hdrordr: A9a23:w1MQCa0cFXsSnDpNkWHfVwqjBEwkLtp133Aq2lEZdPU1SL36qy nKpp8mPHDP5Qr5NEtNpTn4Atj4fZq+z/5ICOsqU4uKZyXenVvtEacK1/qG/9SIIUSXnNK1vp 0AT0ERMrLNJGk/t+rczSOcNeoMhPyg3smT9IDj5kYody1MRotEyTtVTiO8PAlQaDcuP+teKL OsovBqgBeLXFIqQ4CGOlkpNtKzw+Hjjp79aRoLMRg/5A7mt0LL1ILH
- Ironport-phdr: A9a23:MStp9xN/U+ECtyTmHiol6nYHBRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6sr1QKQFtmCo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6z9pHJfglFhCexbbx9I RmrsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S 6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VjO/4 ad2Ux/okDkIOCIl8G/ZjcxwibhUoBOnpxdix4LZb4WYOP94c6jAf90VWHBBU95NWCJCDI2zY ZUBAeocM+lXtITyvUcCoAGkCAWwGu/iyDlFjWL2060g1OQhFBnL0gInH9ILsXTUqtT1NL4PU e+r0aLHwzPDb+lL2Tf99YPFdQ0hofeWXbJtccrc0lQvFx/fglqOt4PoJjWY3fkCvGaH9eRvT /6vi3I5pAFrpDii3tohh4fNi48Xyl3K+jl1zYcrKNC6RkN2ZdGqHIZfuiyUN4V7TN0uT39ot Sg11rEItpG1cSwUxJkjxRPSa/OKfpWO7xn+WuiRJjJ4i2hkeLK5nxuy/kmgyvH8Vsmpy1lGt CtFkt7Ku3sQ1BLT8tCKR/Rh8ku7xDqDywLe5vtaLU07kafXMZosz74ompYNsEnPAiH7lUDrg KOKbEop++2l5/n7brjjuJOQKoB5hwT7P6ksnMG0HP42PRIUX2eB/OSxzL3j8lP9QLVNlvA4n afWvozGKcgFv6K3DRJY34Y65xa4FDipzs4UnX4aLFJZYx2HiJXpO1fTL/ziFfe/mVOskCt1y P/aIr3hA5LNLn7ZnLfmYLZ990pcyA00zdBc/Z5bFrYBIPfrVk/wstzXEAM5PhS7zur7Etlxy 58SVGCVDqOHP67ftUWE6+YvLuWUYY8aojf9K/wr5/70in85nEcQcrSu3ZsSaXC4GPVmI1yEY XXymNsBDGEKvhAjTOzqk1CCTCJTa2ysUK0i/j07DpmpAp/ZRo+xmLyBwDu7HppOa2xbElyMC 2vnd52YW/cQbyKfOtNukjsdVbS4V4Ah0QyuuxThxrp8LuvU/zUYuoj52Nh04e3TjxAy+iZuA 8STyWHeB11zy38ZXzItmal5p0tgzFyO+ax5mOBDU8de7ugPTx83M5iawuBnT5j5XkfAZd6DR VKiT5C7GjwrVfo1wsQSeAB2EtDkhxuFwinuS7QSjvmAAIE+2qPaxXn4Ychnjz7Nz6dkhkU6T 81DOGC9rqt29gyWBojHiEiS0a2xM7ka3WvW/W6ZyWOIsAdUXV1eS6LACFwYY0rQrM3k6wv/S aWzCfxzLw1b1M6qN7cMZ9C/3gYOf+vqJNmLOzH5oGy3HxvdmuLkhOvCfmwc2H+YE00Yi0UJ+ n3AMwEiByCnqmaYDTp0FFupbVm/ufJmpiadSUk5hxqPc1Unz6C8rwMTn+GcY+4PmL8J6286s zshJF+mxJrNDsaY4Q9ofaFSe9Q4tVtA0GPfthVgM9q9Kbp/hnYDb0J6shCmzA15X71JitNit 3Y21ExyJKafhUtGbC+d1IvsN6f/B1TIpErqR4SLn1bU3ZCR57sF7+k+pxP7pga1G0E+8nJhl d5Iz3+b4ZaMBw0XOX7oemAw8RUy57TTYy1nopjRyWUpK66/9DnLx9MuAuIhjBemZdZWdq2eR kf0FIUBCs6iJfZP+RDhZw8YPO1U6K8/Pt+3P/qA1qmxOe98nTWgxW1Z6YF520iI+mJyUOnNl 5oCxviZ2EOAWVKexB+8tNrqmahZeXcfEyv3yCTpApJQerwnZZwCWi+lJ8y6wMk7hoa4ByYer Qb8QQlaiYn4JEn3DRS1xwBb2EUJrGbynCK5y2YxiDQ1tu+F2yeIxe3+dR0BM2oNRW94jF6qL 5Ln6rJSFEWucQUtkwOooEjgwK0O7qh4KmjVQF5Vcm7rKXt/UoOtqvyPboQcjfFg+TUSS+m6b V2AH/TgpQEH0wv+Ay1TyXpoPyHvsZL/kRtgjWubJ3smt3vVd/Z7whLH7cDdT/pcttYfbBFxk iKfRl21Pt3zuM6Ri4+GqOe1EWSoSpxUdyDvi4KGriqyo2NwU1WzmPW6m9uvFgZfs2ez295vV CPJtQvxJJTtzbm6Gf97OERlTFPx8Mt1HIhin5B42MlWgCBFwM/JrDxWzC/6Kp1D1Lj7bWYRS DJuoZad+wXj1EB5bzqIy4//SnSB055kbti+bHkR33F15MRLBaGIqb1cyHct5APg8kSLPak7z 2pOrJlmoGQXiOwIpgc3myCUA7RIWFJdITSpjRODqda3sKRQYm+rN7m2zkt32967X9Tg6klRX mj0fpA6EGp+9MJ6ZRjA13jy7ID9ZdSWcNQJqx28jguGguUfe/dT3rIawDFqP27wpyhvx+k+j BpvxIy3+pWBMXht1L+lRBNVfG6QBYtb6nTmiqBQmdyT1oakE8B6GzkFa5DvSOqhDDMYsfm0f xbLCjA3rW2XXKbOBQLKolkztGrBStr4UhPfbGlc19hpQwORYVBSkBxBFitvhYY3T0ir3JCzL B8/t2pXvhig7UIRguNwa0ujCiGG/FjuMnFsD8HBSXgepgBauxWIa4rHtro1R2cAucT95A2Vd j7CP1gOUT5PAgrcQAm8dri2u4ua+rDBVLPndqnAPe3W+74ZC6ftp9rn05M4rWyFbpzdZyA7X fNnghERDzclSozYg2tdESVPznCUNpfJqkvkoX8n9pjnoqasBVqKh8PHCqMMY49mo0nk2P7aZ eDM3H0rIm4AjsFegiKRgLkHggxIgnk3JWD0SOYO6XaWHqyIwvcFXVlGMWs2Pc9MpcrQxyF1M NXAwpPw37981LsuDktdEEbmkYevbNALJGe0MBXGAlyKPfKIP2+Dz8byaKK6Abpe6Ycc/wW3o iqeGlT/My6rugTTD0rqHcsRySaRMVpZpZ23dQtrBS77VtX6ZxanMdhxyzor3bkzgXCMPmkZV Fo0O09Atbyf6ypEj+43RzQHtyI6a7PYymDIsqHRMd4OvOFuAzhomu4S+3k8x7ZPrWlFSPFzh CrOv4turlWhwYztgnJsVBtDrCoOhZre4R0kYP2GsMMcCDCVoUFojy3YERkBqtp7B8e6vqlRz oKKj6fvMHJY9NmS+8IABs/SIcbBMXw7MBOvFiSHaWlNBTOtK2zbgFRQ1f+I8XjA5JQ9r5nqm YMTR/lGUkYoFtsHFgJoEZZRRfU/FiNhirOdgMMSsDCmqwLNQcxBop3dft+vO621bRqz0PxDb RZOxq7kJ4MOMIG9w1ZldlRxgIXNHQzXQMxJpSpiKAQzpQ8elRo2Bn120EXjZAS35XYVHvPhh R86hDx1ZuE1/Svt6VM6dRLa4TE9m04rlZD5kCicJXTvebyoU9gcWE+W/wAhd4n2SAFvYUiuk Fx4YX3aEqlJgeIodHg32lOE/8oVX6YaFeodPVcR3a3FO61uiAwD7H3hnQgeu46nQdNjjFd4L MTq9ioYnVolNJlseeTRPPYblwAMwP7R+Hfujqdon0cfPxhfqmrKIXxR4RVaOOV+f3j6ubA8j G7K0zpbJjpWXqJz8KszrxEzZ7zbnXCnj+8LK1jvZbaWd/rL4jGZx8DUGghihhtQzxsXuuUut KVrO0uMCRJ1xePIRU1QbJjMdVkOPcEKrCCBL2HT6K3M2cwnZYzlT7KxFLbcuvpM2RCqRF5xT dZLs55JW5Co1AuwxSLPMaJDxBh/vGwDxX2oMc4RIlenumpCpMuyiphqwYNaOzcRR31nNjm67 arWoQlsh+efWNAxYTERWY5Wbxret+Wnh2hUsiYZZAQ=
- Ironport-sdr: 64f72e15_AxsCeDJPG3C8qy4LQ3NDrxwT8Pdzyx4N7mK8ejy+nV0iU9B 9qOE7gyxAFRra7vJ9xSX3fSZEY6NcmRkoMUVHOQ==
[Apologies for multiple copies.]
We are looking for applicants for the PhD project
“Towards Zero-Defect Quantum Programs”
at RWTH Aachen University.
The aim of the project is to develop methods for statically
analysing programs intended for near-term quantum computers by
combining techniques from the verification of probabilistic
programs and the verification of quantum programs. This shall
enable developers on quantum hardware to drastically reduce the
amount of testing and simulation required, and to detect errors
early in the program design and to understand them more easily,
thus streamlining the software development process and
significantly reducing testing and simulation costs. A particular
focus will be on near-term systems with realistic error models
(NISQ), and on use-cases from practice.
The project is a cooperation between the Chair of Quantum
Information Systems and the Software Modeling and Verification
(MOVES) group at RWTH Aachen University and will be jointly
supervised by Joost-Pieter Katoen and Dominique Unruh.
Application deadline: September 25, 23:59 (AoE)
Required profile. Candidates must have (or soon obtain) a
master degree in Computer Science, Mathematics, Physics or related
area and have completed their studies with excellent grades. You
should have interest in performing original, highly competitive
scientific research, publishing your results in top conferences
and scientific journals. Self-motivation and the ability to work
both independently and as a team player in local and international
research groups are expected. Fluency in English is required;
proficiency in German is helpful but not compulsory.
What do we offer? We offer a stimulating international
research environment, the possibility to participate in highly
competitive and interdisciplinary research and the opportunity to
involve students in your research through project work. Doctoral
researchers have a status as employee with a salary according to
the German federal employee scale TV-L E13; the exact salary is
subject to your family situation. The duration of the position is
four years.
For further details see:
https://dominique-unruh.github.io/qis-chair/positions/zero-defect.html
- [Coq-Club] PhD Vacancy: Position on Verifying Quantum Programs, Dominique Unruh, 09/05/2023
Archive powered by MHonArc 2.6.19+.