Apply for Automated Reasoning Grant Program
Issued by Amazon · via fundsforNGOs — grants & funding calls
- Published
- 8 Oct 2026
- Closes
- 4 Nov 2026
- Reference
- apply-for-automated-reasoning-grant-program
At a glance
Amazon has published a funding call: “Apply for Automated Reasoning Grant Program”. Submissions close on 4 November 2026, 27 days from today. Quote reference apply-for-automated-reasoning-grant-program in any correspondence with the buyer. FreeTender has recorded 2 notices from this buyer since 2026, 2 of them currently open. Bids are submitted to the buyer through fundsforNGOs — grants & funding calls, not through FreeTender.
Details
Amazon invites research proposals for its Automated Reasoning Call for Proposals – Fall 2026, aimed at enhancing the security, availability, and robustness of cloud systems. This opportunity is open to researchers who can contribute innovative solutions in the field of automated reasoning. The submission deadline is 4 November 2026. The Automated Reasoning Call for Proposals by Amazon Science seeks to advance the use of automated reasoning to ensure the reliability of cloud computing systems. Automated reasoning applies mathematical logic to verify and validate system properties, enhancing AWS services and creating customer-visible features. Amazon is particularly interested in projects that explore interfaces between language models, solvers, and theorem provers; improvements to solver performance; and applications in security, privacy, and cryptography. Selected Principal Investigators will receive: Awards are structured as one-time unrestricted gifts, and budgets should exclude administrative overhead costs. Eligibility requirements are detailed in the Amazon Research Awards Program rules. Interested applicants should consult the official guidelines to confirm their eligibility. Proposals should focus on key areas such as: This call for proposals represents a significant opportunity for researchers to contribute to the development of more secure and efficient cloud systems through cutting-edge automated reasoning techniques. It supports the growth of the automated reasoning community and encourages diversity among researchers. For detailed application instructions, please refer to the official Amazon Research Awards page. What is the funding limit per proposal? Up to $80,000 USD in unrestricted funds and up to $40,000 USD in AWS Promotional Credits. What is the deadline for proposal submission? The deadline for submission is 4 November 2026, at 11:59 PM Pacific Time. Who can apply for this opportunity? Eligibility is determined by the ARA Program rules. Refer to the official rules for detailed eligibility criteria. When will decisions be announced? Decision letters will be sent out in February 2027. Is there a specific format for the proposal? Yes, applicants must use the provided proposal template and adhere to the specified length and content requirements. Eligible researchers should carefully review the official guidelines and prepare their proposals in alignment with the specified requirements. For more information and to access the submission portal, visit the Amazon Research Awards page.
Context for bidders
We hold 2 notices from Amazon, going back to October 2026 — 2 of them still open. This one closes in 27 days.
More from this buyer
- CFPs: Amazon Security Fall Grant Program 2026· closes 4 Nov
Before you bid on this tender
A quick checklist to help you decide whether to bid and prepare a compliant submission. Always verify the details on the official source.
- Confirm the exact closing date and time (and time zone) on the official portal — deadlines are strict and can be revised by a corrigendum.
- Read the full notice and every attached document, including the scope, specifications and any bill of quantities or terms of reference.
- Check the eligibility criteria — prior similar experience, annual turnover, certifications and registrations — and make sure you qualify before investing effort.
- Prepare any earnest-money deposit (EMD) or bid security and the required formats early; missing or wrongly-formatted documents are a common cause of rejection.
- Note how bids must be submitted (online or physical), in what format, and whether a digital signature or portal registration is required.
- Watch for corrigenda and clarifications right up to the deadline — requirements and dates can change.
FreeTender mirrors this notice for reference. Verify the details and bid on the official portal.
Verify & apply on the official portal →