From: Romain Bardou <romain@cryptosense.com>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: [Caml-list] Software engineer position available at Cryptosense
Date: Wed, 13 Nov 2013 09:44:31 +0100 [thread overview]
Message-ID: <52833BEF.6020406@cryptosense.com> (raw)
Cryptosense is a start-up company which develops formal tools for
finding and fixing security flaws in cryptographic systems. We use
model-checking and symbolic machine learning techniques, amongst other
technologies. Our tools are developed in OCaml.
Cryptosense is recruiting a junior and a senior software engineer.
Profile
=======
You are an experienced programmer or recently qualified PhD. You
are proficient in at least one functional language. You want to
be part of a team of developers who follow agile programming
principles, and exchange and review each other's code. You like
to think outside the box to discover unexpected behavior that
might lead to security flaws. You are at ease holding technical
conversations in English.
Job description
===============
You will be part of a small team during the exciting times of the
emergence of a new company. Your work will have great impact on the
company's products, which are already being used to secure critical
infrastructure of organisations worldwide.
You will contribute to the design and code of robust software. Depending
on your skills and interests, you might work on one or several of the
following:
- automatic reverse engineering and learning of the behaviour of API
implementations;
- model-checking algorithms dedicated to finding cryptographic key
management vulnerabilities;
- domain-specific language to model cryptographic key management APIs,
similar to software verification;
- use of this DSL to model new APIs;
- robust monitoring and filtering tools;
- graphical user interfaces.
Expertise in system and server administration (Linux) is a plus. You
could be given responsibility for the stability of our server for our
clients.
Salary is negotiable and will depend on experience. Stock options are
a possibility. The positions will be available from December 2013.
Location
========
Our office is located in Paris, between Montparnasse and the Jardin du
Luxembourg.
Contact
=======
Send your CV and cover letter to jobs@cryptosense.com. Informal
enquiries are also welcome.
http://cryptosense.com/
--
Romain Bardou
Cryptosense
96bis boulevard Raspail, 75006 Paris, France
+33 (0)9 72 42 35 31
reply other threads:[~2013-11-13 8:44 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=52833BEF.6020406@cryptosense.com \
--to=romain@cryptosense.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox