22 дня назад
Solidity Compiler Frontend Engineer (Blockchain)
11 667 - 18 333$
Мэтч & Сопровод
Для мэтча с этой вакансией нужен Plus
Описание вакансии
Текст:
TL;DR
Solidity Compiler Frontend Engineer (Blockchain): Building and optimizing frontend components for Solidity compilation pipelines with an accent on parsing, semantic analysis, static analysis, and formal verification integration. Focus on designing compiler infrastructure, improving diagnostics and performance, and implementing security checks for EVM-based smart contract systems.
Location: Remote within the United States; employment requires verification of US work eligibility.
Salary: $140,000–$220,000 annual compensation for roles performed in the US.
Company
is a blockchain security company developing security infrastructure and formal verification tools for digital asset projects.
What you will do
- Design and implement Solidity compiler frontend components, including lexical analysis, parsing, AST generation, and semantic analysis.
- Optimize compiler performance and improve error reporting and diagnostics.
- Build integration layers between the Solidity compiler and formal verification tools.
- Contribute to Solidity language features, specifications, and compiler infrastructure.
- Collaborate with security researchers on static analysis and security checks.
- Maintain and improve compiler tooling and related infrastructure.
Requirements
- 3+ years of professional experience in Solidity compiler development or related compiler projects.
- Strong Java proficiency and experience with Java-based compiler development and optimization.
- Solid understanding of compiler theory, 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 and smart contract execution models.
- Ability to work remotely from the United States and verify employment eligibility.
Nice to have
- Experience with LLVM or similar compiler infrastructure.
- Knowledge of programming language semantics and type theory.
- Open-source compiler contributions.
- Experience with Solidity or other blockchain programming languages.
Culture & Benefits
- Flexible remote work environment and mission-driven culture.
- Collaboration with security researchers, technologists, and global institutions.
- Medical, vision, and dental insurance.
- 401(k) plan with company matching, life insurance, HSA, and FSA.
- Flexible paid time off and holidays.
Будьте осторожны: если работодатель просит войти в их систему, используя iCloud/Google, прислать код/пароль, запустить код/ПО, не делайте этого - это мошенники. Обязательно жмите "Пожаловаться" или пишите в поддержку. Подробнее в гайде →