جائزة جودل (بالإنجليزية: Gödel Prize) هي جائزة سنويَّة، تُمنح للأبحاث المتميزة في مجال علوم الحاسوب النظري مُشاركةً من قِبل الجمعية الأوروبية لعلوم الحاسوب النظرية (EATCS) ومجموعة رابطة مكائن الحوسبة المعنية بشكل خاص بالخوارزميات ونظرية الحوسبة (ACM SIGACT)، وقد سُميت الجائزة بهذا الاسم نسبةً لكورت غودل، وهو فيلسوف نمساوي أمريكي بارز وعالم بالرياضيات والمنطق، وفيما يتعلق بعلوم الحاسوب النظرية، كان أول من ذكر مسألة كثير الحدود وكثير الحدود غير القطعي (P versus NP)، وذلك في رسالة وجهها عام 1956 لجون رون نيومان سائلاً إياه فيها عن إمكانية حل مسألة كثيرة حدود غير قطعية كاملة في زمن تربيعي أو خطي.
وقد قُدّمت جائزة غودل منذ عام 1993، ويتم التكريم إما خلال ندوة رابطة مكائن الحوسبة السنوية عن نظرية الحوسبة (STOC)، والتي تُعد إحدى المؤتمرات الرئيسية عن علوم الحاسوب النظرية المُقامة في أمريكا الشمالية، أو في الندوة الدولية عن التشغيل الذاتي، واللغات والبرمجة (ICALP)، وهي من أهم المؤتمرات الأوروبية في هذا المجال، وحتى يكون المرء جديراً بالجائزة، ينبغي أن يكون قد نشر بحثاً له في دورية محكّمة خلال السنوات الـ14 الماضية (كانت المدة 7 سنوات سابقاً)، وتتضمن الجائزة مكافأة قدرها 5000 دولاراً أمريكياً.
ويجري اختيار الفائز بالجائزة بواسطة لجنة مؤلفة من ستة أعضاء، إذ يعيّن كل من رئيس الـ(EATCS) ورئيس الـ(SIGACT) ثلاثة أعضاء فيها، وذلك لمدة ثلاثة سنوات متعاقبة، ويرأس اللجنة ممثلون من الجهتين بالتناوب.