RemoteLeaf Logo
Log in Sign up

Solidity Compiler Frontend Engineer

2 months, 3 weeks ago
United States
Full-time
Mid Level
Software Engineer
Software Development
Java
Apply Now
CertiK

CertiK

$152M raised
View All Jobs 12

Description

  • Design and implement frontend components for the Solidity compiler, including lexical analysis, parsing, AST generation, and semantic analysis.
  • Optimize compiler performance and improve error reporting and diagnostics.
  • Develop integration layers between the Solidity compiler and formal verification tools.
  • Contribute to the evolution of Solidity language features and specification.
  • Collaborate with security researchers to implement static analysis and security checks.
  • Maintain and improve existing compiler infrastructure and tooling.

Requirements

  • 3+ years of professional experience in Solidity compiler development or related compiler projects, such as EVM-based languages or smart contract compilers.
  • Strong proficiency in Java with deep understanding of Java-based compiler development and optimization.
  • Solid foundation in compiler theory, including parsing techniques, type systems, and intermediate representations.
  • Experience with formal methods or formal verification tools, such as SMT solvers, theorem provers, or verification frameworks.
  • Strong understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models.
  • Excellent problem-solving skills and attention to detail.
  • Experience with LLVM or similar compiler infrastructure (preferred).
  • Knowledge of programming language semantics and type theory (preferred).
  • Contributions to open-source compiler projects (preferred).
  • Experience with Solidity or other blockchain programming languages (preferred).

Benefits

  • Target annual compensation of $140,000 - $220,000 for US-based hires.
  • Medical, vision, and dental insurance.
  • 401(k) plan with company matching.
  • Life and accidental death and dismemberment insurance.
  • HSA and FSA options.
  • Flexible paid time off and holidays.
  • Flexible work environment with remote work.
  • Mission-driven culture and opportunity to work with leading security researchers and global institutions.

Interested in this position?

Apply directly on the company website

Apply Now

Similar Roles

ChainGPT

Senior AI Engineer - APAC + Africa

ChainGPT 11-50 Internet Software & Services

ChainGPT is hiring a Senior AI Engineer to help build Brain by AIVM, an early-stage platform for verifiable and governed enterprise AI at the intersection of AI, blockchain, and agentic systems.

Singapore South Africa Vietnam Australia Kenya Nigeria Contract Lead AI Engineer Software Engineer
Blockchain System Design
16 hours, 39 minutes ago
TWO95 International

Software Engineer | Remote | Contract to hire

TWO95 International 51-250 Internet Software & Services

Software Engineer for a 100% remote 6+ month contract-to-hire role supporting enterprise data and system integration work for healthcare and financial services contexts.

United States Contract Senior Software Engineer
Angular AWS Ionic Microservices NestJS Oracle Serverless SQL SQL Server TypeScript
16 hours, 54 minutes ago
JoVE

Software Engineer, Backend

JoVE 51-250 Media

JoVE is seeking an experienced Software Engineer to help modernize its web applications and application stack while building performant, well-tested, reusable software in a collaborative product and engineering environment.

India Full-time Senior Software Engineer
Agile AWS CI/CD CloudFormation GitHub JIRA Kafka Microservices MongoDB Node.js PHP PostgreSQL RabbitMQ Redis REST API Scrum Serverless SQL System Design
17 hours, 9 minutes ago
CodeRoad

Senior Agentic AI Engineer

CodeRoad 51-250 Internet Software & Services

Coderoad is hiring a Senior Agentic AI Developer to build and deploy autonomous AI systems for real-world software projects in a remote Latam role aligned to East/West Coast time zones.

Latin America Full-time Senior AI Engineer Software Engineer
AWS Azure GCP Git JavaScript Kubeflow MLflow MLOps Python React Reinforcement Learning
17 hours, 9 minutes ago

You're on a roll! Sign up now to keep applying.

Sign Up

Already have an account? Log in

Used by 14,729+ remote workers