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

Improved jobs description

parent a05e81c0
No related branches found
No related tags found
1 merge request!194Job Page
......@@ -4,7 +4,7 @@ title: PhD Position at CEA LIST - LSL
short_title: PhD Position
short: Machine Learning for Improving Formal Verification of Code
date: 28-03-2022
filled: false
filled: true
keywords: machine learning, graph neural networks, code representation learning, formal methods
---
......
---
layout: job
title: Internship Position at CEA LIST - LSL
short_title: Internship Position
short_title: Internship
short: Cybersecurity and Safety analysis with Frama-C / Eva
date: 21-10-2022
filled: false
......@@ -48,7 +48,7 @@ we are looking for students to work on the following directions.
1. The definition of a new specification language, easily interpretable by
the interpreter, and the development of the tools to manipulate and validate
specifications using this language. Language features would include side
specifications using this language. Language features would include side
effects and non-determinism.
The objective is to be able to specify libraries, especially
the standard C library, and to be able to write various useful stubs for
......
---
layout: job
title: Internship Position at CEA LIST - LSL
short_title: Internship Position
short_title: Internship
short: Deep Learning for improving formal verification with Frama-C / Eva
date: 04-11-2022
filled: false
......
---
layout: job
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
short_title: Fixed Term, 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
WP plug-in
"
date: 28-02-2023
filled: false
keywords: software analysis, formal methods, open source
keywords: Software Analysis, Formal Methods, OCaml
---
#### Mission
......
---
layout: job
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
short_title: Fixed Term, Engineer
short: "
Develop and extend Ivette, the new Electron-based Frama-C graphical user
interface
"
date: 28-02-2023
filled: false
keywords: graphical user interface, software analysis, formal methods, open source
keywords: GUI, TypeScript, OCaml, Analysis Environment
---
#### 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 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.
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. 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 an efficient and meaningful visualization of the results of the analyses, in particular since codebases become larger and larger.
......
---
layout: job
title: Fixed Term (3 years) Computer Scientist Position at CEA LIST - LSL
short_title: Fixed Term Computer Scientist Position
short_title: Fixed Term, Computer Scientist
short: Develop and extend the kernel of Frama-C
date: 28-02-2023
filled: false
keywords: software analysis, formal methods, open source
filled: true
keywords: Software Analysis, Formal Methods, OCaml
---
#### Mission
......
---
layout: job
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
short_title: Fixed Term, Engineer
short: "
Apply Frama-C on case studies for cybersecurity purposes. Develop and extend
the applicability of Frama-C for cybersecurity purposes
"
date: 28-02-2023
filled: false
keywords: cybersecurity, software analysis, formal methods, open source
keywords: Cybersecurity, Software Analysis, Formal Methods, OCaml
---
#### Mission
......
......@@ -2,7 +2,10 @@
layout: job
title: <Postdoc, Permanent, Intern, ...> Position at CEA LIST - LSL
short_title: <to be displayed in the timeline>
short: <short description (visible on "contact" page)>
short: "
<short description, two or three lines, plain text>
<displayed on: jobs page, events>
"
date: 06-04-2020
filled: false
keywords: <a few keywords>
......@@ -38,4 +41,4 @@ Knowledge in at least one of the following fields is required:
**Availability:** < ... > ; a 3-month procedure for administrative and security purposes is required
**Contact:** First Last (`first.last@cea.fr`)
\ No newline at end of file
**Contact:** First Last (`first.last@cea.fr`)
......@@ -205,7 +205,7 @@ description: "Frama-C - An open-source extensible and collaborative platform
{% for event in all_events %}
<div class="swiper-slide">
<a role="button" class="eventLink"><time>{{ event.date | date: "<b>%Y</b>" }}</time>
<span>{{ event.short_title }}</span></a>
<span>{% if event.layout == "job" %}New Position - {% endif %}{{ event.short_title }}</span></a>
</div>
{% endfor %}
</div>
......
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