--- res/PP-compiler.tex	2009/06/29 18:13:13	1.16
+++ res/PP-compiler.tex	2009/06/29 18:14:19	1.17
@@ -325,7 +325,8 @@ verification, implementation, and applic
 {\bf Pos} & {\bf Type} & {\bf Description}    & {\bf Duration} \\
 NN1 & PhD & reliable compilation / simulation & 4 years \\
 NN2 & PhD & verified compilation              & 4 years \\
-NN3 & PhD & resource analysis                 & 4 years \\
+NN3 & PhD & verified compilation              & 4 years \\
+NN4 & PhD & resource analysis                 & 4 years \\
 \hline
 \end{tabular}