Top 993 Compiler/tools engineer Jobs

Solidity Compiler Frontend Engineer
CertiK —Remote
- $140,000 - $220,000 a year
- Full-time
- Remote
- Mid-level
- 3 years
- Java
- Health savings account
- AD&D insurance
Quick Apply
Photolithography Layout Technician
Confidential —Morrisville, NC
- $50,000 - $75,000 a year
- Full-time
- Schematics
- Mid-level
- Office
Quick Apply
Software Engineer - Avionics RF Design and Integration
Capgemini —Atlanta, GA
- $79,750 - $159,500 a year
- Full-time
- In-person
- Senior level
- Python
- Paid holidays
- Disability insurance
8d
Senior Firmware Engineer
i3 Product Development —Sun Prairie, WI
- $110,000 - $140,000 a year
- Full-time
- 7 years
- Computer Science
- System design
- Health savings account
- Employee stock purchase plan
Quick Apply
Senior CNO Developer (Cyber246)
Research Innovations —Saint Petersburg, FL
- Full-time
- Writing skills
- Research
- Office
- Paid parental leave
- Health insurance
Applied Researcher II (AI Foundations, LLM Core and Agentic AI)
Capital One —McLean, VA
- Email
- Computer Science
- Mid-level
- Office
- Health insurance
Software Integration Engineer
General Dynamics Information Technology —Annapolis Junction, MD
- $170,000 - $230,000 a year
- Computer science
- Computer Science
- Bachelor's degree
- Paid time off
- 401(k) matching
Specialist Software Engineer
L3Harris Technologies —Northampton, MA
- $97,000 - $180,000 a year
- Full-time
- Computer Science
- Software troubleshooting
- Mid-level
- Paid holidays
- Disability insurance
Applied Researcher II
Capital One —McLean, VA
- Email
- Computer Science
- Mid-level
- Office
- Health insurance
Software Integration Engineer
General Dynamics Information Technology —Annapolis Junction, MD
- $170,000 - $230,000 a year
- Computer science
- Computer Science
- Bachelor's degree
- Paid time off
- 401(k) matching
4d
Applied Researcher II
Capital One —New York, NY
- Email
- Computer Science
- Mid-level
- Office
- Health insurance
Principal Engineer Software - Embedded and Real Time (Melbourne FL)
Northrop Grumman —Melbourne, FL
- $95,300 - $142,900 a year
- Overtime
- Master's degree
- Analysis skills
- Bachelor's degree
- Paid holidays
- Disability insurance
Applied Researcher I
Capital One —New York, NY
- Email
- Computer Science
- Office
- AWS
- Health insurance
Applied Researcher II (AI Foundations)
Capital One —McLean, VA
- Email
- Computer Science
- Mid-level
- Office
- Health insurance
Applied Researcher I
Capital One —McLean, VA
- Email
- Computer Science
- Office
- AWS
- Health insurance
Senior Embedded Software Engineer – Secret Clearance
GE Aerospace —Grand Rapids, MI
- $130,000 - $173,000 a year
- Full-time
- Computer Science
- 5 years
- Engineering
- Paid parental leave
- Disability insurance
Software Security Lead - Principal Software Engineer - S3E
Raytheon —Tucson, AZ
- $107,500 - $204,500 a year
- Full-time
- 8 years
- Team management
- In-person
- Paid holidays
- Disability insurance
Applied Researcher I
Capital One —New York, NY
- Email
- Computer Science
- Office
- AWS
- Health insurance
Applied Researcher I (AI Foundations)
Capital One —New York, NY
- Email
- Computer Science
- Office
- AWS
- Health insurance
Applied Researcher II (AI Foundations, LLM Core and Agentic AI)
Capital One —New York, NY
- Email
- Computer Science
- Mid-level
- Office
- Health insurance

I want to receive the latest job alert for compiler/tools engineer

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Explore jobs in more locations

compiler/tools engineer jobs near

Solidity Compiler Frontend Engineer

CertiK
Remote

Quick Apply

Job Details

Full-time
$140,000 - $220,000 a year

Benefits

Health savings account
AD&D insurance
Paid holidays
Health insurance
Dental insurance
Flexible spending account
Paid time off
Vision insurance
401(k) matching

Qualifications

Ethereum
Verification (System development task)
Blockchain
Java

Full Job Description

About the Company

One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with over 4,798 clients, secured over $597 billion worth of digital assets, and has monitored over 17,000 projects. Our clients include leading projects such as Aave, Polygon, Yearn, and Chiliz.

Investors = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital and other investors.

About the Role

We are seeking an experienced Solidity Compiler Frontend Engineer to join our team working on cutting-edge blockchain compiler infrastructure and formal verification tools. You will participate in developing and optimizing the frontend components of Solidity compilation pipelines, with a focus on static analysis, type checking, and integration with formal verification systems.

Responsibilities

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 (e.g., EVM-based languages, 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 (e.g., 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

Preferred Qualifications

Experience with LLVM or similar compiler infrastructure
Knowledge of programming language semantics and type theory
Contributions to open-source compiler projects
Experience with Solidity or other blockchain programming languages

What We Offer

Opportunity to shape the national conversation on blockchain and security.
Collaborate with industry-leading security researchers, technologists, and global institutions.
Flexible work environment and mission-driven culture.

Compensation: If the role is performed in the US, the target annual compensation is $140,000 - $220,000. The exact compensation at which this job is filled will be determined by the skills and experience of qualified candidates.

#blockchain

#startups

#hiring

CertiK accepts applications for this position on an ongoing basis.

CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.

In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.

CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.

CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements.

https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf

All CertiK employees are expected to actively support diversity on their teams, and in the Company.

We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.

Quick Apply

Refine Your Search

compiler/tools engineer jobs

Solidity Compiler Frontend Engineer

Photolithography Layout Technician

Software Engineer - Avionics RF Design and Integration

Senior Firmware Engineer

Senior CNO Developer (Cyber246)

Applied Researcher II (AI Foundations, LLM Core and Agentic AI)

Software Integration Engineer

Specialist Software Engineer

Applied Researcher II

Software Integration Engineer

Applied Researcher II

Principal Engineer Software - Embedded and Real Time (Melbourne FL)

Applied Researcher I

Applied Researcher II (AI Foundations)

Applied Researcher I

Senior Embedded Software Engineer – Secret Clearance

Software Security Lead - Principal Software Engineer - S3E

Applied Researcher I

Applied Researcher I (AI Foundations)

Applied Researcher II (AI Foundations, LLM Core and Agentic AI)

I want to receive the latest job alert for compiler/tools engineer

Related Searches

Explore jobs in more locations

Responsibilities

Requirements

Preferred Qualifications

What We Offer

Job Seeker Tools

Employer Tools

Browse

Stay Connected