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.
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. email@example.com
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 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)
As a reminder, to apply, send your resume (including software portfolio and names of references) to: Jerome Simeon, Chief Scientist, Clause Inc. firstname.lastname@example.org