Palo Alto, CA
Less than 5 years
Posted 35 days ago
We are looking for a researcher and engineer who will participate in the design, formalization, and implementation of domain-specific programming languages. The domain of interest is distributed computing and "smart contracts" running on a blockchain-based computing platform. We are working towards designing and implementing a low-level distributed programming model for this platform with WebAssembly as its code format as well as high-level languages compiling to it. Both need to be scalable, productive, and reliable for potentially hundreds of thousands of third-party clients of the platform.
You enjoy working closely in a distributed team with other researchers and engineers in the areas of programming languages, distributed computing, cryptography, and other related fields. You not only have a strong interest in the design and implementation of programming languages but are also capable of developing and formalizing their semantics. You enjoy reading up on the latest research papers from academia but also don't mind getting hands-on with the practical implementation of new ideas. You have a passion for functional programming and advanced type systems but can pick the right tool for the job.