From 91bf8dc563507042c69704d6b47d80b58ba0a55d Mon Sep 17 00:00:00 2001 From: Thibaud Antignac <thibaud.antignac@cea.fr> Date: Wed, 10 Nov 2021 16:06:48 +0000 Subject: [PATCH] researcher/engineer -> computer scientist --- ...ent-engineer-researcher-cyber-security-verification.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/_jobs/2021-07-08-permanent-engineer-researcher-cyber-security-verification.md b/_jobs/2021-07-08-permanent-engineer-researcher-cyber-security-verification.md index 8aad30cd..c227821b 100644 --- a/_jobs/2021-07-08-permanent-engineer-researcher-cyber-security-verification.md +++ b/_jobs/2021-07-08-permanent-engineer-researcher-cyber-security-verification.md @@ -1,7 +1,7 @@ --- layout: job -title: Permanent Engineer/Researcher Position at CEA LIST - LSL -short_title: Permanent Engineer/Researcher Position +title: Permanent Computer scientist Position at CEA LIST - LSL +short_title: Permanent computer scientist Position short: Develop and extend the applicability of Frama-C for cybersecurity purposes date: 08-07-2021 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 an engineer/researcher 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 a 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. 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. @@ -39,4 +39,4 @@ This position will be filled as soon as possible. Every potential candidate feel - [Thibaud Antignac](mailto:thibaud.antignac@cea.fr) - [Andre Maroneze](mailto:andre.maroneze@cea.fr) -- [Virgile Prevosto](mailto:virgile.prevosto@cea.fr) \ No newline at end of file +- [Virgile Prevosto](mailto:virgile.prevosto@cea.fr) -- GitLab