RemoteLeaf Logo
Log in Sign up

Solidity Compiler Frontend Engineer

2 months 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

U

Senior Software Engineer

Unframe Inc. 51-200 Technology, Information and Internet

Unframe is hiring a deeply technical software engineer to own complex backend and system work that powers enterprise AI-native products and deployed LLM applications.

Israel Senior Software Engineer
CI/CD LLM Node.js PostgreSQL
7 hours, 3 minutes ago
Datadog

Staff Software Engineer - K9 Security

Datadog 5K-10K IT Services

Datadog is hiring a Staff Software Engineer on its Security Agent team to lead low-level Linux instrumentation and runtime security work that powers threat detection and workload protection across its security products.

Spain France Germany Ireland Italy Full-time Lead Security Engineer Software Engineer
Datadog Linux
7 hours, 3 minutes ago
Pinterest

Software Engineer II

Pinterest 5K-10K Internet Software & Services

Pinterest is hiring for an unspecified role focused on helping build the product and supporting the company’s AI-centered hiring approach.

United States Canada Full-time Mid Level Software Engineer
7 hours, 18 minutes ago
Twilio

Staff Software Engineer (L4)

Twilio 5K-10K Diversified Telecommunication Services

Twilio is hiring a Staff Engineer for its Segment Data platform and pipelines team to build and scale high-volume distributed systems that power customer data ingestion and processing.

India Full-time Lead Software Engineer
Apache Spark AWS CI/CD Datadog Docker Flink GCP Go Grafana Java Kafka Kubernetes Linux Prometheus Scala
7 hours, 18 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