Automated Reasoning 2026

Beskrivning

Sammanfattning av utlysningen: Amazon Science inbjuder genom utlysningen "Automated Reasoning - Fall 2026" inom programmet Amazon Research Awards (ARA) forskare att lämna förslag om systems assurance genom matematiskt bevis. Automatiskt resonemang (automated reasoning) innebär tillämpning av matematisk logik för att besvara frågor och bevisa egenskaper om kritiska datorsystem, t.ex. analysera policyer och konfigurationer, visa att protokoll och program fungerar som avsett och analysera utdata från generativ AI. Svarsperioden är 1 oktober till 4 november 2026 (kl. 23:59 Pacific Time) och beslutsbrev skickas ut i februari 2027.

Syfte med utlysningen: Syftet är att hjälpa kunder att uppnå högsta nivåer av säkerhet, tillgänglighet och robusthet i molnet samt att utveckla den vetenskapliga gemenskapen inom automatiskt resonemang.

Mål för utlysningen: Att finansiera forskning inom områden som ljudbaserat neurosymboliskt resonemang med stora språkmodeller, gränssnitt mellan stora språkmodeller, lösare och interaktiva teorembevisare, auto-formalisering och auto-informalisering av specifikationer, mätning av fullständighet hos formella specifikationer, förbättringar av SAT-, SMT- och CHC-lösare, statisk analys, mjukvarumodellkontroll, korrekta-vid-konstruktion-metoder som Dafny och Verus, bevisbara metoder för integritet, säkerhet och kryptografi, mjukvarusyntes, verifiering av distribuerade protokoll, grunder för resonemang i teorembevisare som Lean, formella modeller av hårdvara samt robusthetsanalys av perceptionsneuralnätverk.

Förväntad påverkan/resultat: Finansierade projekt förväntas ha relevans för Amazons problem, ge inverkan på forskningen om automatiskt resonemang och bidra till utvecklingen av det vetenskapliga samhället, inklusive fler universitetsforskare inom området och ökad mångfald på alla nivåer.

Finansieringsgrad: Bidragen ges som engångsgåvor utan användningsrestriktioner; ingen specifik finansieringsgrad anges och det slutliga beloppet bestäms av bidragspanelen.

Behörighet: Huvudforskaren ska vara heltidsanställd vid en ackrediterad akademisk institution eller permanent forskare vid en juridiskt erkänd icke-statlig organisation samt uppfylla ARA-programmets övriga behörighetskrav.

Möjliga krav på konsortier: Inga krav på konsortier anges i utlysningen.

Tillgänglig finansiering (budget): Utvalda huvudansvariga forskare kan få obundna medel på högst 80 000 USD (ca 840 000 SEK), AWS-promotionskrediter på högst 40 000 USD samt utbildningsresurser som AWS-handledningar och praktiska sessioner med Amazons forskare och ingenjörer. Budgeten ska anges i USD och får inte innehålla administrativa omkostnader.