diff --git a/_jobs/2023-02-28-fixed-term-analysis.md b/_jobs/2023-02-28-fixed-term-analysis.md
index 4aa1373b20e18135feded9a78481391d691982b7..24ae2bcb56a2c7f845faa7dd7c3efe0d302cdb55 100644
--- a/_jobs/2023-02-28-fixed-term-analysis.md
+++ b/_jobs/2023-02-28-fixed-term-analysis.md
@@ -1,6 +1,6 @@
---
layout: job
-title: Fixed Term Computer Scientist Position at CEA LIST - LSL
+title: Fixed Term (3 years) Computer Scientist Position at CEA LIST - LSL
short_title: Fixed Term Computer Scientist Position
short: Develop and extend the formal analysis capability of Frama-C
date: 28-02-2023
@@ -12,7 +12,7 @@ keywords: software analysis, formal methods, open source
At the heart of the Paris-Saclay campus, [CEA List](http://www-list.cea.fr/en/)'s Software Safety and Security Laboratory develops analysis tools to verify and enforce sensitive properties of software. Our goal is to provide trust in mission-critical and sensitive systems. We are open-source believers, and we take pride in seeing our science-fueled tools used for industry-grade applications.
-We are looking for a fixed term computer scientist to join our [Frama-C](https://www.frama-c.com) team. [Frama-C](https://www.frama-c.com) is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security to prevent various vulnerabilities, and to prove functional properties on small and large codebases.
+We are looking for a computer scientist to join our [Frama-C](https://www.frama-c.com) team during 3 years. [Frama-C](https://www.frama-c.com) is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security to prevent various vulnerabilities, and to prove functional properties on small and large codebases.
The main goal of this position is to develop and extend the main static analyzers of [Frama-C](https://www.frama-c.com), namely [Eva](https://www.frama-c.com/fc-plugins/eva.html) and [WP](https://www.frama-c.com/fc-plugins/wp.html).
diff --git a/_jobs/2023-02-28-fixed-term-ivette.md b/_jobs/2023-02-28-fixed-term-ivette.md
index 888fd22c9bc188ff5183871c1fe92dbc443fda81..2e53d082d029acd0028220e3fd7761c3f788495a 100644
--- a/_jobs/2023-02-28-fixed-term-ivette.md
+++ b/_jobs/2023-02-28-fixed-term-ivette.md
@@ -1,6 +1,6 @@
---
layout: job
-title: Fixed Term Engineer Position at CEA LIST - LSL
+title: Fixed Term (3 years) Engineer Position at CEA LIST - LSL
short_title: Fixed Term Engineer Position
short: Develop and extend the new Frama-C GUI
date: 28-02-2023
@@ -12,7 +12,7 @@ keywords: graphical user interface, software analysis, formal methods, open sour
At the heart of the Paris-Saclay campus, [CEA List](http://www-list.cea.fr/en/)'s Software Safety and Security Laboratory develops analysis tools to verify and enforce sensitive properties of software. Our goal is to provide trust in mission-critical and sensitive systems. We are open-source believers, and we take pride in seeing our science-fueled tools used for industry-grade applications.
-We are looking for a fixed term engineer to join our [Frama-C](https://www.frama-c.com) team. [Frama-C](https://www.frama-c.com) is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security of control systems and communication protocols, to prevent various CWE occurrences, and to prove functional properties on small and large codebases.
+We are looking for an engineer to join our [Frama-C](https://www.frama-c.com) team during 3 years. [Frama-C](https://www.frama-c.com) is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security of control systems and communication protocols, to prevent various CWE occurrences, and to prove functional properties on small and large codebases.
The main goal of this position is to improve the [new Frama-C graphical user interface](https://www.frama-c.com/html/ivette.html). The platform is used by developers, auditors, and evaluators to validate security properties, and we want to provide them with beyond-state-of-the-art methods, and tools to support their mission. For this, we need an efficient and meaningful visualization of the results of the analyses, in particular since codebases become larger and larger.
diff --git a/_jobs/2023-02-28-fixed-term-kernel.md b/_jobs/2023-02-28-fixed-term-kernel.md
index 03dba4ee3398bbff843ab5f872ce8e9049d4c610..2e55a674b0dded74add94f73494c8b4895f102de 100644
--- a/_jobs/2023-02-28-fixed-term-kernel.md
+++ b/_jobs/2023-02-28-fixed-term-kernel.md
@@ -1,6 +1,6 @@
---
layout: job
-title: Fixed Term Computer Scientist Position at CEA LIST - LSL
+title: Fixed Term (3 years) Computer Scientist Position at CEA LIST - LSL
short_title: Fixed Term Computer Scientist Position
short: Develop and extend the kernel of Frama-C
date: 28-02-2023
@@ -12,7 +12,7 @@ keywords: software analysis, formal methods, open source
At the heart of the Paris-Saclay campus, [CEA List](http://www-list.cea.fr/en/)'s Software Safety and Security Laboratory develops analysis tools to verify and enforce sensitive properties of software. Our goal is to provide trust in mission-critical and sensitive systems. We are open-source believers, and we take pride in seeing our science-fueled tools used for industry-grade applications.
-We are looking for a fixed term computer scientist to join our [Frama-C](https://www.frama-c.com) team. [Frama-C](https://www.frama-c.com) is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security to prevent various vulnerabilities, and to prove functional properties on small and large codebases.
+We are looking for a computer scientist to join our [Frama-C](https://www.frama-c.com) team during 3 years. [Frama-C](https://www.frama-c.com) is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security to prevent various vulnerabilities, and to prove functional properties on small and large codebases.
The main goal of this position is to develop and extend [the kernel of Frama-C](https://www.frama-c.com/html/kernel.html), in particular to improve its ability to deal with large and complex codebases.
diff --git a/_jobs/2023-02-28-fixed-term-use-case.md b/_jobs/2023-02-28-fixed-term-use-case.md
index 163a1779e83290ec93271ac7a3df565496d467ac..a7d4171144f8c2b798c55debf98e59c3386b2008 100644
--- a/_jobs/2023-02-28-fixed-term-use-case.md
+++ b/_jobs/2023-02-28-fixed-term-use-case.md
@@ -1,7 +1,7 @@
---
layout: job
-title: Fixed Term Computer Scientist Position at CEA LIST - LSL
-short_title: Fixed Term Computer Scientist Position
+title: Fixed Term (3 years) Engineer Position at CEA LIST - LSL
+short_title: Fixed Term Engineer Position
short: Develop and extend the applicability of Frama-C for cybersecurity purposes
date: 28-02-2023
filled: false
@@ -12,7 +12,7 @@ keywords: cybersecurity, software analysis, formal methods, open source
At the heart of the Paris-Saclay campus, [CEA List](http://www-list.cea.fr/en/)'s Software Safety and Security Laboratory develops analysis tools to verify and enforce sensitive properties of software. Our goal is to provide trust in mission-critical and sensitive systems. We are open-source believers, and we take pride in seeing our science-fueled tools used for industry-grade applications.
-We are looking for a fixed term computer scientist to join our [Frama-C](https://www.frama-c.com) team. [Frama-C](https://www.frama-c.com) is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security of control systems and communication protocols, to prevent various CWE occurrences, and to prove functional properties on small and large codebases. Some of those results are displayed in [OSCS](https://git.frama-c.com/pub/open-source-case-studies), an open-source case study repository we maintain.
+We are looking for an engineer to join our [Frama-C](https://www.frama-c.com) team during 3 years. [Frama-C](https://www.frama-c.com) is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security of control systems and communication protocols, to prevent various CWE occurrences, and to prove functional properties on small and large codebases. Some of those results are displayed in [OSCS](https://git.frama-c.com/pub/open-source-case-studies), an open-source case study repository we maintain.
The main goal of this position is to develop and extend the applicability of [Frama-C](https://www.frama-c.com) for cybersecurity purposes. The platform is used by developers, auditors, and evaluators to validate security properties, and we want to provide them with beyond-state-of-the-art methods, techniques, and tools to support their mission. This will be achieved by defining which security properties to target, developing the platform to make their verification possible, and providing relevant proof artefacts.
diff --git a/html/contact.html b/html/contact.html
index 5726e7a692913a549bb31ddff2ce1af5059c1fdc..12d662ea232a315a4c4d5ebf56bda2fd5550adab 100644
--- a/html/contact.html
+++ b/html/contact.html
@@ -191,7 +191,7 @@ function(err, data) {
{% for position in jobs %}
- <h3>{{ position.title }}</h3>
+ <h3>{{ position.short_title }}</h3>
<p>
{{ position.short }} [<a href="{{ position.url }}">More details</a>]<br>
Keywords: <em>{{ position.keywords }}</em>