Software Engineer, Programming Languages

Aptos logo Aptos

Job Description

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.

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.  

Aptos (Ohlone for "The People") encompasses our mission and ethos for why we build.

Job Description

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
Register to Apply

Please let Aptos know that you found this job role on CryptoJobs.gg

Similar Jobs

Spend IT logo

Full Stack Developer at Spend IT

$80,000 - $100,000
node typescript api solidity
51 days ago
Glassnode logo

Senior Backend Engineer (Golang) - Greenfield Project (m/f/d). Remote at Glassnode

Backend Engineer Golang SQL Kubernetes Helm
133 days ago
ConsenSys logo

QA Engineer (Confirmations System) at ConsenSys

$139,000 - $175,000
QA Engineer Confirmations Selenium UXUI
135 days ago
Gemini logo

Senior Software Engineer, Fraud at Gemini

$152,000 - $213,000
Scala C++ Typescript Software Engineer
135 days ago
ConsenSys logo

Solidity Engineer at ConsenSys

$187,000 - $235,000
Solidity EVM English< Engineer
136 days ago
Coinbase logo

Staff Smart Contract Engineer - Developer at Coinbase

$201,450 - $237,000
Smart Contracts Engineer Solidity Ethereum
137 days ago
River Financial logo

Staff Accountant at River Financial

$105,000 - $140,000
CPA Accountant
138 days ago
Unit 410 logo

Cryptocurrency Infrastructure Engineer - Remote USA at Unit 410

Engineer Remote Golang Typescript Rust Terraform GCP AWS
139 days ago
CoinMarketCap logo

Senior Web Developer at CoinMarketCap

TypeScript React Webpack Next Web Developer
139 days ago
Sohoby logo

Blockchain (Intern) at Sohoby

Java Python C++ Internship Pakistan
140 days ago