Skip to content
Snippets Groups Projects
Commit 01d34809 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Review job pages

parent 7700f2bc
No related branches found
No related tags found
1 merge request!194Job Page
......@@ -18,7 +18,7 @@ The French [Alternative Energies and Atomic Energy Commission](https://www.cea.f
player in research, development, and innovation. Drawing on the widely
acknowledged expertise gained by its 16,000 staff spanned over 9 research
centers with a budget of 4.1 billion Euros, CEA actively participates in more
than 400 European collaborative projects with a large number of academic
than 400 European collaborative projects with numerous academic
(notably as a member of [Paris-Saclay University](https://www.universite-paris-saclay.fr))
and industrial partners. Within the CEA Technological Research Division, the
[CEA List](https://www-list.cea.fr) institute addresses the challenges coming from smart digital systems.
......@@ -43,7 +43,7 @@ of this analysis is to prove the absence of runtime execution errors
behaviors, ...) that could be used by an attacker or cause safety issues. It is
also used for code auditing and as a support for other analyses.
We are constantly improving the range and the precision of this analysis and
We are constantly improving the range and the precision of this analysis, and
we are looking for students to work on the following directions.
1. The definition of a new specification language, easily interpretable by
......@@ -98,7 +98,6 @@ Characteristics
## Application
If you are interested in this internship, please send to the [contact persons](#contact-persons) an application containing:
- your resume;
- a cover letter indicating how your curriculum and experience match the qualifications expected and how you would plan to contribute to the project;
- your bachelor and master 1 transcripts;
......
......@@ -18,7 +18,7 @@ The French [Alternative Energies and Atomic Energy Commission](https://www.cea.f
player in research, development, and innovation. Drawing on the widely
acknowledged expertise gained by its 16,000 staff spanned over 9 research
centers with a budget of 4.1 billion Euros, CEA actively participates in more
than 400 European collaborative projects with a large number of academic
than 400 European collaborative projects with numerous academic
(notably as a member of [Paris-Saclay University](https://www.universite-paris-saclay.fr))
and industrial partners. Within the CEA Technological Research Division, the
[CEA List](https://www-list.cea.fr) institute addresses the challenges coming from smart digital systems.
......@@ -44,7 +44,7 @@ It is therefore necessary to choose wisely which techniques to use in which
case.
These choices are now made by the analyst, who uses the tool to perform safety
proofs on a software. They require a detailed knowledge of of Frama-C and its
proofs on a software. They require a detailed knowledge of Frama-C and its
analysis techniques, both of which evolve with time. Moreover, to be as fine as
possible, these choices can be made at the function or loop level in a sometimes
large source code. This double difficulty, based on both the quantity of
......@@ -55,9 +55,9 @@ techniques. This involves treating the difficulty no longer as a problem of
understanding the analysis tool but as a problem of understanding the relation
between code patterns and the different analysis techniques. This has two
advantages. On the one hand, the learning can be repeated as the tool evolves,
in order to to remain adapted to the characteristics of the latest available
in order to remain adapted to the characteristics of the latest available
techniques. On the other hand, the automatic choice of techniques can be done at
a much finer level level than what a human can accomplish in a reasonable time.
a much finer level than what a human can accomplish in a reasonable time.
The objectives of the internship are to contribute to our machine-learning
toolchain specialized on source code, to participate in its integration in
......
---
layout: job
title: Fixed Term (3 years) Computer Scientist Position at CEA LIST - LSL
short_title: Fixed Term, Computer Scientist
title: 3-year Computer Scientist Position at CEA LIST - LSL
short_title: 3-year Computer Scientist
short: "
Develop and extend the formal analysis capability of Frama-C.
In particular, provide new features either in the Eva plug-in or
......@@ -16,7 +16,7 @@ keywords: Software Analysis, Formal Methods, OCaml
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 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.
We are looking for a 3-year computer scientist to join our [Frama-C](https://www.frama-c.com) team starting as soon as possible. [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).
......@@ -37,7 +37,7 @@ The main goal of this position is to develop and extend the main static analyzer
#### 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.
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)
......
---
layout: job
title: Fixed Term (3 years) Engineer Position at CEA LIST - LSL
short_title: Fixed Term, Engineer
title: 3-year Engineer Position at CEA LIST - LSL
short_title: 3-year Engineer
short: "
Develop and extend Ivette, the new Electron-based Frama-C graphical user
interface
......@@ -15,7 +15,7 @@ keywords: GUI, TypeScript, OCaml, Analysis Environment
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 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 giving high level of confidence about source code. The platform has been used in academia and the industry to verify the safety and security of control systems and communication protocols, on small and large codebases.
We are looking for a 3-year engineer to join our [Frama-C](https://www.frama-c.com) team starting as soon as possible. [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 giving high level of confidence about source code. The platform has been used in academia and the industry to verify the safety and security of control systems and communication protocols, 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 a modern graphical user interface, providing efficient and meaningful visualization of the results of the analyses, with advanced ways of dealing with complex code bases that nowadays become larger and larger.
......@@ -35,7 +35,7 @@ The main goal of this position is to improve the [new Frama-C graphical user int
#### 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.
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)
......
---
layout: job
title: Fixed Term (3 years) Engineer Position at CEA LIST - LSL
short_title: Fixed Term, Engineer
title: 3-year Engineer Position at CEA LIST - LSL
short_title: 3-year Engineer
short: "
Apply Frama-C on case studies for cybersecurity purposes. Develop and extend
the applicability of Frama-C for cybersecurity purposes
......@@ -15,7 +15,7 @@ keywords: Cybersecurity, Software Analysis, Formal Methods, OCaml
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 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.
We are looking for a 3-year engineer to join our [Frama-C](https://www.frama-c.com) team starting as soon as possible. [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.
......@@ -37,7 +37,7 @@ The main goal of this position is to develop and extend the applicability of [Fr
#### 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.
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)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment