Egzamin dla absolwentów informatyki (GRE) jest podzielony na cztery główne części. Części te obejmują: architekturę i organizację komputerów, która stanowi 15 procent oceny z testu; Metodologia i systemy oprogramowania, które stanowią 40 procent oceny testu; Teoria matematyczna i tło, które stanowią 40 procent oceny z testu; oraz kategorię parasolową o nazwie Inne tematy, która stanowi pozostałe 5 procent oceny z testu.
W obszarze Architektura i organizacja komputerów znajduje się pięć podstawowych podpól. Pierwszym z nich są jednostki sterujące i procesory. W tej dziedzinie informatyka GRE obejmuje pytania dotyczące takich rzeczy, jak liczby i reprezentacja arytmetyczna, ścieżki danych i sekwencjonowanie sterowania, a także pytania ogólne dotyczące zestawów instrukcji.
Druga poddziedzina to Digital Logic Design i obejmuje pytania analityczne i optymalizacyjne wraz z implementacją obwodów sekwencyjnych i kombinowanych. Trzeci to Memories and Hierarchies, obejmujący typy pamięci podręcznej i przechowywania, stronicowanie, segmentację, pamięć wirtualną oraz pytania dotyczące wydajności i implementacji. Czwarta to komunikacja i sieci, obejmująca urządzenia sieciowe, takie jak routery i przełączniki, systemy wejścia-wyjścia i komputery synchronizujące. Ostatnim z nich jest architektura o wysokiej wydajności, obejmująca architekturę rozproszoną i równoległą oraz superskalarne przetwarzanie potokowe i nieuporządkowane procesory wykonawcze.
W polu Metodologia i systemy oprogramowania w Informatyce GRE znajduje się pięć podpól. Pierwsza to organizacja danych, obejmująca techniki implementacji danych, struktury danych i typy danych. Drugi to Struktura i Kontrola Programu, obejmujący pytania o synchronizację, współbieżność i komunikację; rekurencja i iteracja; oraz funkcje, metody, procedury i procedury obsługi wyjątków.
Trzecia poddziedzina w dziedzinie metodologii i systemów oprogramowania w informatyce GRE to zapisy i języki programowania, obejmujące ocenę wyrażeń, przekazywanie parametrów, wiązanie, zakres i konstrukcje kontroli programu/organizacji danych. Czwarty to Inżynieria Oprogramowania, która obejmuje techniki weryfikacji, specyfikacje, twierdzenia, modele programistyczne, narzędzia i wzorce. Ostatnia poddziedzina obejmuje pytania dotyczące systemów, w tym bazy danych, analizę systemu, zarządzanie zasobami, tłumaczy, systemy czasu wykonywania, kompilatory, systemy operacyjne, Internet i pytania dotyczące sieci.
W teorii matematycznej i podstawach informatyki GRE istnieją trzy podstawowe poddziedziny. Pierwsza to Złożoność i algorytmy, która obejmuje pytania dotyczące technik projektowania algorytmów, asymptotycznej i dokładnej analizy algorytmów, złożoności obliczeniowej oraz górnych i dolnych granic złożoności. Druga sekcja to Teoria i automaty językowe, obejmująca modele obliczeniowe, rozstrzygalność oraz gramatykę i język formalny. Ostatni to struktury dyskretne, obejmujący teorię grafów, elementarną kombinatorykę, teorię liczb, relacje rekurencyjne i logikę matematyczną.
Ostatni obszar Informatyki GRE nosi nazwę Inne Tematy. Zawiera pytania dotyczące m.in. kryptografii, grafiki komputerowej, analizy liczb, sztucznej inteligencji i bezpieczeństwa. Ta sekcja zawiera również pytania dotyczące kwestii społecznych.