Software Engineer | Aptos | Remote (United States)

<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3">Aptos is a people-first blockchain on a mission to help billions of people achieve universal and fair access to decentralized assets in a safe and scalable way.</p>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3">Founded by some of the original creators and maintainers that researched, designed, and built the Diem blockchain to serve this purpose, we have dedicated several years toward this mission. We believe the open-source Diem technology we have developed is an important foundation of a safe and scalable web3 world where everyone has more equitable opportunities to grow and access financial assets with lower fees and fewer intermediaries.</p>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3">Aptos (Ohlone for &#8220;The People&#8221;) encompasses our mission and ethos for why we build.</p>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3"><strong class=" font-semibold">About The Role</strong></p>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3">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.</p>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3">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!</p>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3"><strong class=" font-semibold">Some of the things you might be doing:</strong></p>
<ul class=" text-base sm:text-lg marker:text-color list-inside list-disc text-gray-500 list-disc list-outside pl-3 mb-6">
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Evolving the design and implementation (compiler, VM) of the Move language, together with the larger Move community.</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Enhancing the integration of the Move VM into the Aptos environment, interacting with our internal and external Move developer community</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Working on tools for testing, formal verification (Move Prover), static analysis, and runtime verification for Move.</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Working on tools for bug finding in safe Rust programs.</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Working on IDE integrations of Move and other development tools.</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Working on core Move libraries and their native implementations.</span></li>
</ul>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3"><strong class=" font-semibold">Some of the things we&#8217;re looking for:</strong></p>
<ul class=" text-base sm:text-lg marker:text-color list-inside list-disc text-gray-500 list-disc list-outside pl-3 mb-6">
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Experience with language design and compiler construction</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Experience in developing virtual machines and runtime environments</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Experience in program analysis and program productivity tools.</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Experience in symbolic execution and mechanical reasoning, SMT techniques and formal verification.</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Experience in language security and fuzzing tools</span></li>
</ul>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3"><em>The base salary range for this full-time position is $180k &#8211; $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.</em></p>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3"><strong class=" font-semibold">Our Benefits</strong></p>
<ul class=" text-base sm:text-lg marker:text-color list-inside list-disc text-gray-500 list-disc list-outside pl-3 mb-6">
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">100% insurance premium coverage for medical, dental, and vision for you and your dependents (US Employees)</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Equipment of your choice</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Flexible vacation time, 11 holidays, and floating company days off</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Competitive Salary</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Equity (RSUs) (US employees)</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Protocol Token Grants</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">401k matching (US Employees)</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">Fun and inclusive in-person and digital events</span></li>
</ul>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3"><em>Aptos is committed to diversity in the workplace, and we’re proud to be an Equal Opportunity Employer. We do not hire on the basis of race, color, religion, creed, gender, national origin, citizenship, age, disability, veteran status, marital status, pregnancy, parental status, sex, gender expression or identity, sexual orientation, or any other basis protected by local, state or federal law. All employment is decided based on qualifications, merit, and business need.</em></p>
<blockquote>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3">We are committed to providing a safe and secure hiring process for all applicants. Unfortunately, there are individuals who may attempt to impersonate Aptos or our employees for fraudulent purposes.<br />
<strong class=" font-semibold">To protect yourself, please be aware of the following:</strong></p>
</blockquote>
<ul class=" text-base sm:text-lg marker:text-color list-inside list-disc text-gray-500 list-disc list-outside pl-3 mb-6">
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">We will <strong class=" font-semibold">never</strong> ask you for payment of any kind during the application or onboarding process, including fees for background checks, training, or equipment.</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">We will <strong class=" font-semibold">always</strong> communicate with you using our official company email domain.</span></li>
<li class=" leading-snug mb-2 pl-2"><span class="text-gray-200">We will <strong class=" font-semibold">never</strong> request your personal financial information, such as your social security number or bank account details, during the initial application stages or via email or a video/voice call when onboarding.</span></li>
</ul>
<blockquote>
<p class=" text-gray-200 text-base sm:text-lg leading-relaxed mb-3"><strong class=" font-semibold">If you encounter any suspicious activity or requests that seem out of the ordinary, please do not hesitate to report it to us at</strong> <a href="mailto:security@aptoslabs.com" target="_blank" class="break-all font-medium underline hover:opacity-75" rel="noopener noreferrer">security@aptoslabs.com</a>.</p>
</blockquote>