diff --git a/_jobs/2023-02-28-fixed-term-analysis.md b/_jobs/2023-02-28-fixed-term-analysis.md index ce8a579a324dff397030e3eba0dec56f36224b3f..4aa1373b20e18135feded9a78481391d691982b7 100644 --- a/_jobs/2023-02-28-fixed-term-analysis.md +++ b/_jobs/2023-02-28-fixed-term-analysis.md @@ -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 permanent 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 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. 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 new file mode 100644 index 0000000000000000000000000000000000000000..888fd22c9bc188ff5183871c1fe92dbc443fda81 --- /dev/null +++ b/_jobs/2023-02-28-fixed-term-ivette.md @@ -0,0 +1,41 @@ +--- +layout: job +title: Fixed Term 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 +filled: false +keywords: graphical user interface, software analysis, formal methods, open source +--- + +#### Mission + +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. + +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. + +#### Responsibilities + +- Develop new features and improvements for [Frama-C](https://www.frama-c.com) +- Run case studies for partners and [OSCS](https://git.frama-c.com/pub/open-source-case-studies) +- Interact with practitioners, prescribers, and the open-source community +- Contribute to the dissemination of the team results in top scientific and technical venues +- Contribute to the development of the team + +#### Qualifications + +- Master's degree or PhD +- Ability to develop in TypeScript or JavaScript +- Knowledge of a framework React-like +- Knowledge of a functional language +- Knowledge of the C language and ability to quickly grasp new ones + +#### Application + +This position will be filled as soon as possible. Every potential candidate feeling they could fit the description are welcome to contact us or apply by emailing the persons indicated below. We try hard to run an inclusive team, so candidates from under-represented groups are certainly welcome. The selection process will include scientific, technical, and HR interviews. + +- [Allan Blanchartd](mailto:allan.blanchard@cea.fr) +- [Patricia Mouy](mailto:patricia.mouy@cea.fr) +- [Loic Correnson](mailto:loic.correnson@cea.fr) diff --git a/_jobs/2023-02-28-fixed-term-kernel.md b/_jobs/2023-02-28-fixed-term-kernel.md new file mode 100644 index 0000000000000000000000000000000000000000..03dba4ee3398bbff843ab5f872ce8e9049d4c610 --- /dev/null +++ b/_jobs/2023-02-28-fixed-term-kernel.md @@ -0,0 +1,39 @@ +--- +layout: job +title: Fixed Term 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 +filled: false +keywords: software analysis, formal methods, open source +--- + +#### Mission + +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. + +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. + +#### Responsibilities + +- Develop new features and improvements for [Frama-C](https://www.frama-c.com) +- Interact with practitioners, prescribers, and the open-source community +- Contribute to the dissemination of the team results in top scientific and technical venues +- Contribute to the development of the team + +#### Qualifications + +- PhD or more than three years of experience in a research-intensive team +- Ability to develop in OCaml or functional languages +- Knowledge of formal methods or language semantics +- Knowledge of the C language and ability to quickly grasp new ones + +#### Application + +This position will be filled as soon as possible. Every potential candidate feeling they could fit the description are welcome to contact us or apply by emailing the persons indicated below. We try hard to run an inclusive team, so candidates from under-represented groups are certainly welcome. The selection process will include scientific, technical, and HR interviews. + +- [Allan Blanchard](mailto:allan.blanchard@cea.fr) +- [Patricia Mouy](mailto:patricia.mouy@cea.fr) +- [Virgile Prevosto](mailto:andre.maroneze@cea.fr) diff --git a/_jobs/2023-02-28-fixed-term-use-case.md b/_jobs/2023-02-28-fixed-term-use-case.md index d17cbf51c2fa432fadf69907a263422a847fea98..163a1779e83290ec93271ac7a3df565496d467ac 100644 --- a/_jobs/2023-02-28-fixed-term-use-case.md +++ b/_jobs/2023-02-28-fixed-term-use-case.md @@ -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 permanent 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 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. 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. @@ -26,7 +26,7 @@ The main goal of this position is to develop and extend the applicability of [Fr #### Qualifications -- PhD or Master's degree +- Master's degree or PhD - Ability to develop in OCaml or functional languages - Practice of software cybersecurity - Knowledge of formal methods