[Caml-list] [JOB] OCaml Engineers and Scientists at CEA, Software Security Labs (Paris Saclay, France)

[Caml-list] [JOB] OCaml Engineers and Scientists at CEA, Software Security Labs (Paris Saclay, France)

[Julien Signoles]

[-- Attachment #1: Type: text/plain, Size: 3734 bytes --]

Hi List,

The CEA' Software Security Laboratory is opening positions for OCaml
engineers and scientists at Paris Saclay, France.

## Engineer & Scientist.
### Research and develop the next-generation of software verification tools.

The Software Security Laboratory - LSL - has an ambitious goal: enable
developers and validation experts to design high-confidence software. We
believe that programs should be as reliable as mathematical truths.

Within CEA, LSL is dedicated to inventing the best possible means to conduct
software verification. We craft methods and tools that leverage exciting,
cutting-edge formal methods to ensure that industrial code can comply with
the
highest standards. And in doing so, we get to interact with the most
creative
people in academia and the industry.

Our organizational structure is very simple: those who pioneer scientific
innovations are the same ones who implement them. We are a dynamic
twenty-person
laboratory, and your work will have a direct and visible impact on the
state of
formal verification.

Our brand-new offices are located in the heart of Campus Paris Saclay, in
the largest European cluster of public and private research.

                                     *


#### You

You dream of devising the next breakthrough in code analysis and to see it
through low-level implementation details. You read research papers with
passion, but you are fully aware that a toy prototype is quite different
from a
hardened tool. You understand that what stands between both is a series of
complex
implementation problems. And that's great, because it means getting your
hands
dirty and confronting your tools to challenging real-life use cases.

You enjoy being a constructive member of a team of talented and dedicated
people; you
are extremely reliable and the nightly builds will prove it every time. Last
week's bleeding-edge release of obscure packages is not really your thing.
You
want the source code, you want scalability, and you want results.

If this sounds like you, we have a job for you.

#### Role

We need you to help us develop the Frama-C platform, by improving the
current
analyses and designing complementary approaches. You will contribute to
growing the
community of users, handling feedback and helping real people solve real
problems.

You will take an active part in research activities and industrial
partnerships, alongside other members of the laboratory. This can include
writing proposals, managing projects, publishing papers, and attending
scientific and technical events worldwide.

#### Requirements

- Background in formal methods, and programming languages.
- Experience with significant OCaml development.
- Experience with software engineering practices: source code management and
  reviews, continuous integration, and bug-tracking.
- Self-organized, with an ability to prioritize effectively.
- Team-minded - you know when to let someone else take the lead.

#### Pluses

- Strong proficiency in foreign languages.
- Experience with writing scientific papers and technical reports.
- Understanding of C or C++ semantics.
- Knowledge in the fields of cybersecurity, concurrency, or floating-point
  arithmetics.
- Administration of Linux environments and software development tools.
- Design of Graphical User Interfaces.
- Hands-on experience with formal verification tools: Coq, PVS, Why3, etc.

#### Applying

If you're interested in joining LSL, send us an email to share what inspires
you, and why you think you are perfect for the team. Send it along with a
resume
at florent.kirchner@cea.fr.

Julien Signoles
-- 
Researcher-engineer
CEA LIST, Software Security Labs
tel:(+33)1.69.08.00.18  fax:(+33)1.69.08.83.95  Julien.Signoles@cea.fr

[-- Attachment #2: Type: text/html, Size: 4215 bytes --]