**About The Role**
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.
We are welcoming highly skilled applicants through all seniority levels. Talk
with us if you enjoy working on one or more of the topics below, and bring the
expertise to do so with you!
**Some of the things you might be doing:**
* Evolving the design and implementation (compiler, VM) of the Move language, together with the larger Move community.
* Enhancing the integration of the Move VM into the Aptos environment, interacting with our internal and external Move developer community
* Working on tools for testing, formal verification (Move Prover), static analysis, and runtime verification for Move.
* Working on tools for bug finding in safe Rust programs.
* Working on IDE integrations of Move and other development tools.
* Working on core Move libraries and their native implementations.
**Some of the things we 're looking for:**
* 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
_The base salary range for this full-time position is $180k - $300k. The range
displayed on each job posting reflects the minimum and typical maximum target
for new hire salaries for the position of a candidate based in the Bay Area at
any level. We do hire exceptionally talented professionals with decades of
experience in their field. As such, our range may be higher than what is
displayed. Our base salary ranges are determined by experience and location,
and we hire at all levels for multiple roles. Within the range, individual pay
is determined by work location, job-related skills demonstrated during the
interviews, working experience, and relevant education or training. Please
note that the compensation details listed in role postings reflect the base
salary only and do not include equity, tokens, or benefits._
