From: careers <oana.piciorus@tezos.com>
To: caml-list@inria.fr
Subject: [Caml-list] Tezos recrute!/Tezos is recruiting!
Date: Sun, 15 Apr 2018 11:56:15 +0200 [thread overview]
Message-ID: <CAFvDZh9XGJWNP53_aOr3+n=n=tfU0jwOV6fx-zjZKPLNvo8Q=w@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 2176 bytes --]
Tezos est une blockchain et une plateforme de contrats intelligents écrite
en OCaml. En outre, Tezos est dotée d'un mécanisme d'auto-gestion lui
permettant d'évoluer de manière décentralisée.
Le développement s'articule autour de plusieurs thèmes dont les systèmes
distribués, les réseaux pairs à pairs, la théorie des langages de
programmation, la cryptographie, et les méthodes formelles.
Tezos compte 40 postes ouverts dans le monde dont environ 25 en France.
Nous recherchons des profils variés, avec une préférence pour les
détenteurs de doctorats.
Possibilité de thèse CIFRE pour les étudiants en master.
Est fortement préférée la maîtrise d'un langage fonctionnel tel que OCaml
(bien évidemment), mais aussi Haskell, Clojure ou équivalent et des
compétences dans l'un des domaines suivants: algorithmique, compilateurs,
conception de langages de programmation, cryptographie, p2p, programmation
web / UI en OCaml, SAT/SMT ou vérification formelle.
Rémunération très attractive.
Si vous êtes intéressé(e)s, envoyez votre CV à careers@tezos.com!
*******************
Tezos is a self-governing blockchain and smart-contract platform written in
OCaml. Tezos' self-governance allows it to evolve in a decentralised manner
by enabling collective decision making.
The development of the project is centred around different areas, such as
distributed systems, peer to peer systems, theory of programming languages,
cryptography and formal methods.
We are currently filling 40 open positions world-wide, including 25 in
France and are looking for a range of profiles, with a preference towards
PhD holders.
Possibility of PhD funding for Master students in France.
Mastering of a functional language such as OCaml (obviously), Haskell or
Closure is particularly desirable, as are proven skills in one or more of
the following topics: algorithmics, compilers, design of programming
languages, cryptography, p2p, web programming / UI in OCaml, SAT / SMT, or
formal verification.
Attractive compensation.
If you are interested, please send your CV (resumé) to careers@tezos.com!
[-- Attachment #2: Type: text/html, Size: 3279 bytes --]
reply other threads:[~2018-04-15 9:56 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='CAFvDZh9XGJWNP53_aOr3+n=n=tfU0jwOV6fx-zjZKPLNvo8Q=w@mail.gmail.com' \
--to=oana.piciorus@tezos.com \
--cc=caml-list@inria.fr \
--cc=careers@tezos.com \
/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