Software Engineer II, Programming Languages

Who we are

We are a global enterprise with lines of business across multiple states and federal agencies in the United States. We are looking to implement our strategy of enabling our internal and external applications with a distributed ledger (a blockchain) to help deliver value to our customers. 

About you
You love to work with type systems and have recently implemented a version of System F or have written an extraction tool for Coq/F*. Just so we complete the requirements list, you like programming in Haskell, OCaml or Scala and are comfortable in working in a fast-paced environment. 

What we are looking for
A strong background in type theory and implementing type systems in either OCaml or Haskell. We are setting up a center of excellence in providing block chain solutions to enterprises. We are looking for programming language experts to help us translate our requirements into verifiable smart contracts in a variety of target smart contract DSLs. At this point we think this requires Coq or F*, though you will have a say in what really fits the needs for our customers. 

Summary
This is a great opportunity for you to continue doing what you love. 

Minimum Qualifications

• Advanced degree in Computer Science with a specialization in programming languages and type systems.  
• 5 – 8 years of experience in maintaining compilers, interpreters or code generators. 
• The ideal candidate will be great to work with, have a well-rounded view of software development, will be an excellent coach and can help us cut through the hype around block chain. 

18026420