CompilerJobs - vacancies for compilers

#runtime #pl #compiler #dsl #gc #switzerland #relocate Ссылка скрыта The DFINITY Foundation is a not-for-profit organization based in Zurich, Switzerland, and operates research centers in Palo Alto, San Francisco, and Zurich. Looking for an experienced engineer who will participate in the implementation and design of Motoko, a general purpose programming language designed for the Internet Computer. The domain of interest is distributed computing and "smart contracts" running on a blockchain-based computing platform. We are designing and implementing a low-level distributed programming model for this platform with WebAssembly as its code format as well as high-level languages such as Motoko compiling to it. Both need to be scalable, productive, and reliable for potentially hundreds of thousands of third-party clients of the platform. - Ownership of the runtime system for Motoko, including garbage collection and other facilities such as serialization and intrinsics. - Participate in scientific publications and engage in conferences in related subject fields (if desired) - Community engagement (on forums etc.) - Work closely with a distributed team of researchers, engineers, and experts in the field of programming languages, blockchain cryptography, and distributed systems - Participate in the design, formalization, and optimization of new domain-specific programming languages, type systems, and programming models - Contribute to the implementation of the compilers, runtime systems, VMs, and other tooling for Motoko - Contribute to documentation, test suites, and tools supporting Motoko More details & application forms: Senior Software Engineer - Programming Languages Ссылка скрыта Software Engineer - Programming Languages Ссылка скрыта