STAGE - Cyber sécurité et étude des Blockchains

Description de l'offre

Sujet du stage : Étude de l’utilisation de « smart contracts » dans une blockchain publique pour le séquestre et l’autorisation d’accès à des documents

Ercom a déjà exploité la technologie Blockchain pour notariser des données chiffrées. L’idée de ce stage est d’étudier l’usage de « smart contracts » (Ethereum, Tezos) pour gérer les modalités de consultation et de partage de documents et données sensibles. Il sera notamment intéressant d’étudier la capacité à apporter des preuves formelles sur les contrats.

Missions :
- Étude des blockchains avec smart contract et choix d’une technologie d’expérimentation.
- Réalisation d’un démonstrateur.
- Test de la solution et test des outils de preuve formelle.

Mots clés : Blockchain, Tezos, Ethereum, Smart contract et Preuves Formelles (COQ, OCAML).

Profil recherché

Formation souhaitée : Bac +5 École d’ingénieurs ou parcours universitaire

Compétences requises :
- Stage de fin de cursus ingénieur ou Master
- Cryptographie, preuves formelles
- Programmation dans divers langages (C/C++, Go, Solidity, OCaml, …)
- Connaissance des technologies Blockchain
- Anglais lu, parlé et écrit

À propos de Ercom

ERCOM, société française créée en 1986, est spécialisée dans la sécurité des terminaux et des communications. ERCOM développe une gamme complète de solutions simples et certifiées en réponse aux besoins croissants des entreprises en matière de communications sécurisées.
Notre société de 180 personnes déploie ses solutions en France et à l’Internationale auprès d’Institutions et d’Entreprises qui ont besoin de solutions fiables, simples et hautement sécurisées.