Skip to content
Snippets Groups Projects
Commit 64c0d179 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

add Eva-related job offer

parent ad8d147a
No related branches found
No related tags found
1 merge request!41add Eva-related job offer
Pipeline #27311 passed
.jekyll-cache/
_site/
*~
#*
<footer id="footer" class="mainFooter">
<a rel="home" class="footLogo" title="Frama-C"><img src="/assets/img/framac.gif" alt=""></a>
<nav>
<a href="https://twitter.com/frama_c" target="_blank" class="twitterLink"><i class="icon icon-twitter"></i></a>
</nav>
<div class="copyright">
<span>Copyright © 2007-{{ 'now' | date: "%Y" }} Frama-C. All Rights Reserved.</span>
</div>
<div class="copyright" style="width: 300px;">
<ul id="menu-footer-menu" class="footer-list-menu">
<li id="menu-item-214" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-214">
<a href="/html/terms-of-use-standalone.html">Terms Of Use</a>
</li>
<li id="menu-item-233" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-233">
<a href="/html/authors-standalone.html">Authors</a>
</li>
<li id="menu-item-225" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-225">
<a href="/html/acknowledgement-standalone.html">Acknowledgements</a>
</li>
</ul>
</div>
</footer>
<header class="siteHeader" id="site_header">
<div id="header_iv_point" class="inviewTop"></div>
<span class="brandLogo"><a rel="home" title="Frama-C">
<img src="/assets/img/framac.gif" alt="Frama-C logo"></a>
</header>
---
layout: job
title: Permanent Research Engineer Position at CEA LIST - LSL
posted: 26-06-2020
keywords: formal-methods, abstract-interpretation, static-analysis
---
The LSL laboratory at CEA LIST, located near Paris, France, is opening a new
permanent Research Engineer position in formal methods.
If you are interested in joining the development team of Eva, the Frama-C plugin
based on abstract interpretation, please consider applying.
More details are available below.
#### LSL Laboratory
The LSL Software Security Laboratory helps developers and validation experts
ship high-confidence software and systems. With everyday objects getting more
and more complex, we have built a reputation for efficiently applying formal
reasoning techniques to establish their trustworthiness.
As part of the CEA LIST Institute, at the heart of Campus Paris Saclay, teams at
LSL are researching the best possible means to conduct formal verification. We
design tools such as Binsec, Frama-C and UNISIM, that ensure production-level
systems can comply with the highest safety and cybersecurity expectations. And
in doing so, we get to interact with the most creative people in academia and
the industry.
Our team comprises about 30 permanent research engineers, plus a dozen PhDs and
postdocs. Our organizational structure is simple: those who pioneer new concepts
are the ones who get to lead their implementation. Your work will have a direct
and visible impact on the state of software verification.
#### Role
We need you to help us develop Frama-C's abstract interpretation plugin, both by
improving current analyses and by designing new approaches. You will contribute
to growing the community of users, handling feedback and helping real people
solve real problems.
You will take an active role in research and development activities and
industrial partnerships, alongside other members of the laboratory. This can
include writing proposals, managing projects, writing and reviewing code,
publishing papers, as well as attending scientific and technical events
worldwide (or, you know, their remote streams, during a pandemic lockdown).
#### Requirements
- Background in abstract interpretation and theory of programming languages.
- Hands-on experience with significant OCaml developments - other languages
are fine too, but you'll need to convince us you can adapt in a snap.
- Self-organized, with an ability to prioritize effectively.
- Team-minded - you know when to let someone else take the lead.
#### Pluses
Various areas of our overall activity can also benefit from specific skillsets.
- Break new ground with us:
* Hands-on expertise in the fields of software security.
* Flawless understanding of C, C++, assembly languages or hardware interfaces.
- Precision-drive our infrastructure:
* Technical administration of Linux environments and development tools.
* Robust grasp of IT service management processes.
- Help us spread the word:
* Strong proficiency in foreign languages.
* A knack for writing and editing longform content.
#### Applying
If you're interested in joining LSL, send us an email to share what inspires
you, and why you think you are a good match for the team. Send it with a resume
to `david.buhler@cea.fr` and `thibaud.antignac@cea.fr`.
---
layout: job
title: Quality
job_id: 123321
posted: 25-08-2017
departement: IT
location: Paris
---
Super job plein d'argent trop bien.
......@@ -5,31 +5,28 @@ css: careers
<body class="careers-template-default single single-careers postid-481 nonTouch">
<div id="wrapper" class="hfeed">
{% include headers.html %}
{% include headers-standalone.html %}
<div id="container" class="mainContainer">
<div class="careerDetail pages pageDetail">
<div class="wrap">
<a class="goBack" href="/html/careers.html"><i class="icon-arrow-left"></i>Careers</a>
<!-- <a class="goBack" href="/html/careers.html"><i class="icon-arrow-left"></i>Careers</a>-->
<h1 class="pageTitle">{{ page.title }}</h1>
<div class="blocks jobDetails">
<p>Job ID: {{ page.job_id }}<br>
Posted: {{ page.date | date_to_string }}<br>
Department: {{ page.departement }}<br>
Location: {{ page.location }}</p>
<div class="jobDetails">
<p>Posted: {{ page.date | date_to_string }}<br>
Keywords: {{ page.keywords }}</p>
</div>
<div class="blocks">
<div>
<p>{{ content }}</p>
</div><a href="mailto:florent.kirschner@cea.fr?subject=Applying%20For%20-%20{{ page.title }}%20|%20Job%20ID%20-%20{{ page.job_id }}" class=
"btn"><small>Apply</small></a>
</div>
</div>
</div>
{% include footer.html %}
{% include footer-standalone.html %}
<div class="clear"></div>
</div>
......
......@@ -855,4 +855,13 @@ h2.searchTitle .search-terms {
}
.careerList .listItem ul li {
margin-bottom:5px
}
\ No newline at end of file
}
ul {
margin-left: 0;
margin-bottom:5px;
padding-bottom:5px;
}
li {
margin-left: 0;
margin-top:5px;
}
---
layout: default
title: Acknowledgements - Frama-C
---
<body class="page-template page-template-page-authors page-template-page-authors-php page page-id-231 nonTouch">
<div id="wrapper" class="hfeed">
{% include blog-headers-standalone.html %}
<div id="container" class="mainContainer">
<div class="defaultPage authorsPage" id="content" role="main">
<article id="post-231" class="post-231 page type-page status-publish hentry">
<h1 class="entry-title">Acknowledgements</h1>
<section class="articleContent">
<div class="authorPageContent pageWrapper">
<div class="contentInfoBox">
<ul>
<li>U3CAT - <a href="https://frama-c.com/u3cat">https://frama-c.com/u3cat</a></li>
<li>STANCE - <a href="https://cordis.europa.eu/project/id/317753">https://cordis.europa.eu/project/id/317753</a> - FP7-ICT - Grant agreement 317753</li>
<li>VESSEDIA - <a href="https://cordis.europa.eu/project/id/731453">https://cordis.europa.eu/project/id/731453</a> - H2020 - Grant agreement 731453</li>
<li>DECODER - <a href="https://cordis.europa.eu/project/id/824231">https://cordis.europa.eu/project/id/824231</a> - H2020 - Grant agreement 824231</li>
<li>SPARTA - <a href="https://cordis.europa.eu/project/id/830892">https://cordis.europa.eu/project/id/830892</a> - H2020 - Grant agreement 830892</li>
</ul></div>
</div>
</section>
</article>
</div>
{% include blog-footer-standalone.html %}
<div class="clear"></div>
</div>
</div>
---
layout: default
title: Authors - Frama-C
---
<body class="page-template page-template-page-authors page-template-page-authors-php page page-id-231 nonTouch">
<div id="wrapper" class="hfeed">
{% include blog-headers-standalone.html %}
<div id="container" class="mainContainer">
<div class="defaultPage authorsPage" id="content" role="main">
<article id="post-231" class="post-231 page type-page status-publish hentry">
<h1 class="entry-title">Authors</h1>
<section class="articleContent">
<div class="authorPageContent pageWrapper">
<div class="contentInfoBox">
<h5>The Frama-C platform is the creation of:</h5>
<nav>
<span>{{ site.data.authors | join: "</span> | <span>" }}</span>
</nav>
</div>
<div class="contentInfoBox">
<h5>The Frama-C platform is co-developed at two French public institutions:</h5>
<div class="authorList">
<div class="authorInfo">
<figure>
<img src="/assets/img/author/list-cea-tech.jpg">
</figure>
<p><span class="title">CEA LIST</span> Software Security Laboratory</p>
</div>
<div class="authorInfo">
<figure>
<img src="/assets/img/author/inria.png">
</figure>
<p><span class="title">Inria Saclay - Île-de-France</span> Toccata team, common with LRI-CNRS and
Université Paris-Sud 11</p>
</div>
</div>
</div>
<div class="entry-links hide"></div>
</div>
</section>
</article>
<section class="bgTitleBlk titleIn lightTxt">
<div class="upperBlk">
<div class="upperType">
Authors
</div>
</div>
<div class="lowerBlk">
<div class="lowerType">
Authors
</div>
</div>
</section>
<section id="comments" style="display: none;"></section>
</div>
{% include blog-footer-standalone.html %}
<div class="clear"></div>
</div>
</div>
---
layout: default
css: terms
---
<div id="wrapper" class="hfeed">
{% include blog-headers-standalone.html %}
<div id="container" class="mainContainer">
<div class="pages pageTerms">
<dl class="defnitionList">
<dt class="subTitle">Legal information and diffusion rights</dt>
<dd>
<p>All materials and graphical elements contained on this site are protected by French and international copyright law
and intellectual property rights. Reproduction in part or in whole of materials and graphical elements of this site is
prohibited without the express permission of the Director of publication.</p>
</dd>
<dt class="subTitle">Contacts</dt>
<dd>
<p>For requests to use any of the contents of this site, please contact us:</p>
<div>
<h5>Director of publication</h5>
<p>C. Marché<br>
Inria - 4, rue Jacques Monod<br>
F-91893 Orsay cedex</p>
</div>
<div>
<h5>Webmaster</h5>
<p><a href="mailto:florent.kirchner@cea.fr">florent.kirchner(at)cea.fr</a><br>
F. Kirchner<br>
CEA Saclay<br>
F-91191 Gif sur Yvette cedex</p>
</div>
</dd>
<dt class="subTitle">Déclaration CNIL</dt>
<dd>
<p>Conformément à la loi n° 78-17 du 6 janvier 1978, relative à l'Informatique, aux Fichiers et aux Libertés, vous
disposez d'un droit d'accès et de rectification des informations nominatives vous concernant. Vous pouvez l'exercer en
vous adressant à :</p>
<div>
<a href="mailto:florent.kirchner@cea.fr">florent.kirchner(at)cea.fr</a><br>
F. Kirchner<br>
CEA Saclay<br>
F-91191 Gif sur Yvette cedex
</div>
</dd>
</dl>
</div>
{% include blog-footer-standalone.html %}
<div class="clear"></div>
</div>
</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