caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] OFFER CIFRE Ph.D. thesis Accenture Labs Sophia Antipolis and Inria Sophia-Antipolis Méditerranée, Kairos Team
@ 2019-01-15 10:22 LIQUORI
  0 siblings, 0 replies; 1+ messages in thread
From: LIQUORI @ 2019-01-15 10:22 UTC (permalink / raw)
  To: caml-list, coq-club; +Cc: LIQUORI

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

[Apologies for cross-posting; please circulate]
===

OFFER CIFRE Ph.D. thesis
Accenture Labs Sophia Antipolis and Inria Sophia-Antipolis Méditerranée, Kairos Team

Title: Smart Contract Languages for permissioned Blockchains & Distributed Ledgers

Enterprise: Accenture Labs Sophia Antipolis
Research Laboratory: UCA-Inria Sophia Antipolis-Méditerranée, Kairos Team,
Where: Sophia Antipolis 06903, France
Location: Accenture Labs Sophia and Inria Sophia Antipolis Méditerranée, Kairos Team.
Duration: 3 years
Recruitment date: As soon as possible
Application deadline: As soon as possible
Function: 3 years PhD candidate position in Accenture Labs Sophia (CDD). The position will be part time between Accenture Labs Sophia and at Inria Sophia Antipolis Méditerranée, Kairos Team.
Research topic (no confidential): Semantics of programming languages, permissioned blockchain, smart contract, formal verification, distributed ledger
Context:

Bitcoin [1], Ethereum [2] and the increase popularity of blockchains and decentralized distributed ledgers brought two main innovations: 1) the capability of building decentralized peer-to-peer ledgers that record and store ordered transactions without the need of trusted and centralized third parties and 2) the introduction of complex applications involving having digital assets being directly controlled by a piece of code implementing arbitrary rules, known as Smart Contracts [2].

Also, if the Bitcoin protocol implements a first concept of “Smart Contract” [3], the terms got popular with Ethereum and with its implementation of Smart Contract. The Ethereum Virtual Machine, that processes and executes Smart Contracts, made possible the creation of Decentralized Applications and extended the blockchain capabilities that were considered only as digital cash system. Distributed Applications, that doesn’t require a middleman to function, opens numerous opportunities: automatic settlement, treasury applications, voting systems and many others.

While public blockchains were getting more and more popular (and numerous) and new platforms were proposing their implementation of Smart Contracts, much of the interest in the blockchain space was going towards the use of the blockchain technology for the enterprise world. We saw in the recent years the development of different platforms that focuses on the so-called private (or permissioned) blockchain(s) and digital ledgers. Some of the permissioned blockchains platforms are fork of public blockchain adapted to the enterprise needs (e.g. Quorum) while others have been designed and built from scratch (e.g. Corda, Digital Asset, Hyperledger Fabric, etc.). Almost the totality of private blockchain(s) present their own implementation of Smart Contact: for example DAML [4] supported by Digital Asset, Chaincode [5] in Fabric, Kotlin/Java [6] supported by Corda and many others.

Between public and private blockchains we are observing a wide variety of different languages with different capabilities and limitations. Both public and private blockchain often lack maturity and a formal semantic as they have been under pressure of the sudden and rapid explosion of Blockchain popularity.

Research Objectives:

The Ph.D. student will first focus his research on studying, understanding and assessing the state of the art of Smart Contract Languages (SCL). The candidate will focus on building a multi-dimensional framework to understand and classify SCLs landscape considering public and private blockchains. Smart Contracts should be evaluated considering their context and their efficacy by taking in account a wide range of parameters (e.g. terminology, automation, enforceability, semantics, security, scalability, formal verifiability, extendability, turing completeness, etc. [7] [8] [9] [10] [11] ).

In the second phase the candidate will focus on proposing and building extensions of existing SCLs and/or proposing new SCLs and their respective execution environments to overcome limitations and rigidity of existing languages and extend the current capabilities. As well the focus could also be oriented to experiment programming languages paradigms that has not been applied before to Smart Contracts (e.g. typed/untyped, compiled/interpreted, object-oriented/functional, etc.). The focus should be on permissioned and private blockchains.

Contacts:

  Luigi Liquori, Ph.D., Research Director, Kairos Team, UCA-Inria, luigi.liquori@inria.fr <mailto:luigi.liquori@inria.fr>; 

  Giuseppe Giordano, R&D Senior Manager, Accenture Labs, giuseppe.giordano@accenture.com <mailto:giuseppe.giordano@accenture.com>;

  Luca Schiatti, R&D Associate Manager, Accenture Labs, luca.schiatti@accenture.com <mailto:luca.schiatti@accenture.com>;

Candidate’s skills and profiles:

The PhD candidate should preferably have a previous training or a first research experience in 2 of the following 3 areas:

●  Semantics of programming languages and formal methods.

●  Blockchain and Distributed Ledgers.

●  Distributed programming and Networking.

The required documents for applying are the following:

●  CV.

●  A motivation letter.

●  Your degree certificates and transcripts for Bachelor and Master (or the last 5 years if not

applicable)

●  master thesis (or equivalent) if it is already completed, or a description of the work in progress,

otherwise

●  All your publications, if any (it is not expected that you have any)

●  Recommendation letters from the persons who supervised your Master thesis (or research project

or internship)

About Accenture: Accenture is a leading global professional services company, providing a broad range of services and solutions in strategy, consulting, digital, technology and operations. With 459,000 people serving clients in more than 120 countries, Accenture drives innovation to improve the way the world works and lives. Accenture is an influent actors in the Blockchain space (https://www.accenture.com/us- <https://www.accenture.com/us-> en/insights/blockchain-index) and has been named as a leader in the newly published Blockchain Services PEAK MatrixTM Assessment 2019: Race to Make Enterprise Blockchain Real conducted by Everest.

About Accenture Labs: Accenture Labs incubates and prototypes new concepts through applied R&D projects that are expected to have a significant strategic impact on clients’ businesses. Our dedicated team of technologists and researchers work with leaders across the company to invest in, incubate and deliver breakthrough ideas and solutions that help our clients create new sources of business advantage. Accenture Labs is located in seven key research hubs around the world: Silicon Valley, CA; Sophia Antipolis, France; Arlington, Virginia; Beijing, China; Bangalore, India; Herzliya, Israel and Dublin, Ireland.

The Sophia Antipolis Accenture Labs is the Accenture Blockchain Center of Excellence and is leading the Blockchain R&D activities in the firm. The Sophia Labs is leading the way in distributed ledger technologies and blockchain solutions across industries and domain specialization, underpinned by the best underlying technologies from startups, our key alliances and from the open community. Current area of focus are: Distributed Identity, Decentralized Storage Systems and Blockchain Integration (https://www.accenture.com/us-en/insights/blockchain/integration-ecosystems <https://www.accenture.com/us-en/insights/blockchain/integration-ecosystems>).

About Inria: Inria ( www.inria.fr <http://www.inria.fr/> ), the French national research institute for the digital sciences, promotes scientific excellence and technology transfer to maximize its impact. It employs 2,400 people. Its 200 agile project teams, generally with academic partners, involve more than 3,000 scientists in meeting the challenges of computer science and mathematics, often at the interface of other disciplines. Inria works with many companies and has assisted in the creation of over 160 startups. It strives to meet the challenges of the digital transformation of science, society and the economy.

Bibliography:

[1]  S. Nakamoto, "Bitcoin: A peer-to-peer electronic cash system," [Online]. Available: https://bitcoin.org/bitcoin.pdf <https://bitcoin.org/bitcoin.pdf>. [Accessed 6 December 2018].

[2]  V. Buterin, "Ethereum Whitepaper: A Next-Generation Smart Contract and Decentralized Application Platform," [Online]. Available: https://github.com/ethereum/wiki/wiki/White- <https://github.com/ethereum/wiki/wiki/White-> Paper/f18902f4e7fb21dc92b37e8a0963eec4b3f4793a. [Accessed 6 December 2018].

[3]  "Bitcoin Contract," [Online]. Available: https://en.bitcoin.it/wiki/Contract <https://en.bitcoin.it/wiki/Contract>. [Accessed 6 December 2018].

[4]  "The Digital Asset Platform: Non-Technical White Paper," Digital Asset, [Online]. Available: https://hub.digitalasset.com/hubfs/Documents/Digital%20Asset%20Platform%20-%20Non- <https://hub.digitalasset.com/hubfs/Documents/Digital%20Asset%20Platform%20-%20Non-> technical%20White%20Paper.pdf.

[5]  "Chaincode Tutorials," Hyperledger Fabric, [Online]. Available: https://hyperledger- <https://hyperledger-/> fabric.readthedocs.io/en/release-1.3/chaincode.html <http://fabric.readthedocs.io/en/release-1.3/chaincode.html>. [Accessed 6 December 2018].

[6]  M. Hearn, "Corda: A distributed ledger," R3 Corda, 29 November 2016. [Online]. Available: https://www.corda.net/content/corda-technical-whitepaper.pdf <https://www.corda.net/content/corda-technical-whitepaper.pdf>. [Accessed 6 December 2018].

[7]  C. D. Clark, V. A. Bakshi and L. Braine, "Smart contract templates: foundations, design landscape and research directions," arXiv preprint arXiv:1608.00771 , 2016.

[8]  L. Luu, D.-H. Chu, H. Olicke, P. Saxena and A. Hobor, "Making Smart Contracts Smarter," Cryptology ePrint Archive, Report 2016/633, 2016.

[9]  K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy and S. Zanella-Béguelin, "Formal Verification of Smart Contracts: Short Paper," PLAS '16 Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, pp. 91-96 , 24 October 2016.

[10]  K. Delmolino, M. Arnett, A. Kosba, A. Miller and E. Shi, "Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab".Cryptology ePrint Archive, Report 2015/460, 2015.

[11]  P. Di Gianantonio, F. Honsell and L. Liquori, "Extension, A Lambda Calculus of Objects with Self- Inflicted," Proceedings of OOPSLA’98. ACM Press, New York, p. 166–178, 1998. 




-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs

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

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-01-15 10:22 [Caml-list] OFFER CIFRE Ph.D. thesis Accenture Labs Sophia Antipolis and Inria Sophia-Antipolis Méditerranée, Kairos Team LIQUORI

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox