Facebook pixel

Software Engineer
Programming Languages
Confirmed live in the last 24 hours
Remote • United States
Experience Level
  • Experience with language design and compiler construction
  • Experience in developing virtual machines and runtime environments
  • Experience in program analysis and program productivity tools
  • Experience in symbolic execution and mechanical reasoning, SMT techniques and formal verification
  • Experience in language security and fuzzing tools
  • As part of the Programming Languages team, you will be responsible for advancing the state of the art of the Move language platform
  • This includes evolving the design of the language together with the Move community, as well as contributing to a wide spectrum of tools from improving security for Move up to better developer usability
  • You will be closely working with the Aptos framework team which develops smart contracts in Move, as well as the larger community of Aptos Move developers
Aptos Labs

11-50 employees

Layer 1 blockchain development
Company Overview
Aptos Labs is on a mission to deliver universal and fair access to decentralization for billions of people. Aptos’ breakthrough Layer 1 technology and programming language, Move, are designed to evolve and upgrade, improve reliability and performance and strengthen security of Layer 1 blockchain applications.
  • Health insurance coverage
  • Equipment of your choice
  • Unlimited vacation time
  • Competitive salary
  • Equity (i.e. RSUs)
  • Protocol token grants