[Jobs] Adds short title to pages

_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md

@@ -8,6 +8,8 @@ filled: false
 keywords: control flow Integrity, remote attestation, runtime verification, static analysis, source code generation
 ---
 
+# {{ page.short }}
+
 [Full description](http://julien.signoles.free.fr/positions/postdoc-cfi.pdf)
 
 #### Context: CEA List, Software Safety and Security Lab

_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md

@@ -8,6 +8,8 @@ filled: false
 keywords: runtime assertion checking, compilation, source code generation, static analysis
 ---
 
+# {{ page.short }}
+
 [Full description](http://julien.signoles.free.fr/positions/postdoc-eacsl.pdf)
 
 #### Context: CEA List, Software Safety and Security Lab

_jobs/2021-08-05-outline-runtime-assertion-checking.md

@@ -8,6 +8,8 @@ filled: false
 keywords: runtime assertion checking, outline monitoring, compilation, source code generation
 ---
 
+# {{ page.short }}
+
 [Full description](http://julien.signoles.free.fr/positions/phd-outline-rac.pdf)
 
 #### Context: CEA List, Software Safety and Security Lab