Internship - Language Team at Clause

New York City · Internship

Clause is a rapidly growing tech startup headquartered in New York City creating a revolutionary new platform that enables commercial contracts to “come alive” and autonomously manage themselves. Our team consists of forward-thinking entrepreneurs and widely recognized leaders at the intersection of law, business, and technology. We are trying to solve the problems of transforming legal contracts into real-time, dynamic and data-driven agreements while addressing the challenges of security, distributed systems, and complex event processing.

Apply to Clause

Job Description

Clause is looking for outstanding computer science students (graduate or undergraduate) for an internship position with its language team. The position is for 4 to 6 months in New York City.

To apply, send your resume (including software portfolio and names of references) to: Jerome Simeon, Chief Scientist, Clause Inc.

Part of Clause's platform is a domain specific language (DSL) for describing the logic involved in the execution of legal contracts, along with a compiler for that DSL which targets distributed ledger technology.

The candidate will take part in the development for a key feature of that DSL and its compiler. Key topics of interest include:

-Support for a new target for the compiler (e.g., EVM or Solidity for Ethereum). This includes work on code generation, runtime library and integration with the Ethereum ecosystem for execution.

-Language extensions to support modularity in contract. This includes allowing contracts to be built from components (e.g., through a form of inheritance) and ensuring type soundness of the resulting contract.

-Tooling support for the DSL. This includes integration with VS Code, syntax highlighting, and may include a read-eval-print loop (REPL) for the language.
Specific technical contributions will be discussed with the candidate based his interest and expertise.

The candidate should have the following minimum qualifications:

-interest and experience in programming languages design and compilers (semantics, intermediate languages, virtual machines, optimization, type checking, etc.)
-good knowledge of functional programming (OCaml, Haskell, etc.)
-good communication skills, ability to write and discuss specifications

Considered a plus:

-experience in one or more of the following languages: JavaScript, Java, Scala, Go, Swift.
-experience with proof assistants (Coq, HOL/Isabelle, etc.)
-experience with smart contract languages and distributed ledgers technology (Hyperledger, Ethereum, Solidity, EVM, etc.)
-experience with web assembly (WASM)
-research experience

As a reminder, to apply, send your resume (including software portfolio and names of references) to: Jerome Simeon, Chief Scientist, Clause Inc.

Apply Now

Other Jobs at Clause

Clause Team

Houman B. Shadab
Co-founder @Clause and professor at New York Law School focusing on the intersection of law, business, and technology.
Dan Selman
CTO @Clause. Ex Chief Architect at IBM and ILOG. Expert in business rules, event processing, blockchain. MSc in Artificial Intelligence from Edinburgh.
Petr Gazarov
A passionate software engineer with experience in Ruby on Rails, JavaScript, React/Redux, Backbone.js, HTML5/CSS3, RESTful APIs, MVC architecture.
Jerome Simeon
Chief Scientist @ Clause. PhD in Computer Science from Univ. Paris. 20+ years experience in databases, programming languages, compilers, verification.
See More

Clause Investors