ARIADNA Call for Proposals 2025
We seek your contributions on the following research projects:
- AUTOMATED REASONING WITH COMPLEX WEIGHTS TO SIMULATE AND VERIFY NOISY QUANTUM CIRCUITS.
The deadline to participate is: 24 October 2025 at 13:00 hours (CET).
Study descriptions
AUTOMATED REASONING WITH COMPLEX WEIGHTS TO SIMULATE AND VERIFY NOISY QUANTUM CIRCUITS
Study Reference Number: 24-5100
Type of activity: Standard study (study budget 35 k€)
Study objective: To advance significantly the state-of-the-art in automated reasoning exploring the introduction of complex numbers in model counting techniques. To prove the value of the idea in the context of the simulation and verification of noisy quantum circuits.
Study publication: esastar-publication
How to apply
To apply follow these three steps:
- Download the documents for the relevant Ariadna Call for Proposal from the esastar web site (after clicking on the EMITS tab, expand the Open Invitations to Tender [left frame] and look for the Ariadna entry.). Alternatively, go to the relevant study publication website (see above with the research study of interest) and log in. You can find all related documents on the bottom right of the page under ''Tender Action Package''. The proposal submission template is given by the ''.doc'' file.
- Write your proposal (approx. 4 pages for the technical proposal, max. 15 pages) and address the scientific issues raised in the study description.
- Submit your proposal in electronic format via the esastar web site.
NOTE: You need an account in the esastar system both to access the documents and to make the submission. More information can be found on the About ARIADNA page under ''Submission of Proposal''.
What is a call for proposal?
An Ariadna Calls for Proposals seeks the collaboration of the European academia to address a number of scientific questions detailed in the study descriptions (available above). These are defined by ESA's Advanced Concepts Team and have been identified to have potential in terms of ESA's objectives. The objective of the Ariadna scheme is to perform collaborative high-level research on advanced topics of shared interest and usually slightly outside the usual ESA and space horizon together with university research groups.
Read the About ARIADNA page for further information.