Amazon Research Awards: AWS Automated Reasoning
| שם: |
Amazon Research Awards: AWS Automated Reasoning תאריך הגשה: 11/10/20 לאתר הקול הקורא |
|---|---|
| תיאור כללי: |
AWS Automated Reasoning Supports security assurance, backed by mathematical proof - Using automated reasoning technology, the application of mathematical logic to help answer critical questions about infrastructure. Funding: $80,000 for 1 year. https://www.amazon.science/research-awards/call-for-proposals |
| מקור: | זר |
| תקציב: | up to $80,000 |
| מס' שנים למחקר: | 1 |
| איש קשר: | Robi-2152, roberg@trdf.technion.ac.il; Ora-1271, ora.burger@trdf.technion.ac.il |
| תחומים: | מדעים מדויקים |
| סוג הקרן: | הקרן אינה קרן תחרותית. |
| קרן ופרופילים משויכים: | Amazon ,פתוח לחברי סגל הטכניון בלבד. אנא התחבר\י כדי לצפות בפרופילי המימון של הקרן (בפינה הימנית העליונה). |