Senior Staff ASIC Design Verification Engineer
GroqSalary not specified
- Full Time
- Senior (5 to 8 years)
Not SpecifiedCompensation
Entry Level & New GradExperience Level
Full TimeJob Type
UnknownVisa
AI & Machine Learning, Cybersecurity, Crypto & Web3Industries
Requirements
Candidates should possess a strong foundational knowledge in formal methods, theorem proving, and formal verification frameworks such as Lean, Coq, or Isabelle. Familiarity with computer architecture, particularly RISC-V or other instruction set architectures, is essential. Solid programming and scripting skills for developing verification tools and automation are required, along with demonstrated ownership mentality and strong communication and team collaboration skills.
Responsibilities
The Formal Verification Intern will apply formal verification techniques using Lean or similar frameworks to verify the correctness of the constraints inside the zkVM implementation. They will design and implement tooling to translate internal constraint representations into formats compatible with formal verification environments. Collaboration with the engineering team to integrate formal verification processes into the development cycle will enhance overall product reliability and security. Additionally, the intern will communicate verification results clearly to stakeholders and assist in resolving any discovered issues.
Skills
Formal Methods
Theorem Proving
Lean
Coq
Isabelle
RISC-V
Rust
Programming
Scripting
Formal Verification
Succinct
Enhances blockchain interoperability and efficiency
About Succinct
Succinct.xyz focuses on improving blockchain technology, particularly in interoperability and efficiency. The company develops tools and protocols that enhance the performance of blockchain networks. One of their main products is a verifiable proof of Bitcoin block headers, which allows users to verify blockchain data without downloading the entire blockchain, speeding up the process. Another key offering is "Telepathy," a decentralized zkSNARK interoperability protocol for Ethereum, enabling secure communication between different blockchain networks. Additionally, they provide a gas-efficient on-chain light client for Ethereum's Proof of Stake system, which reduces the resources needed for transaction verification. Succinct.xyz differentiates itself by offering advanced solutions that help clients achieve better efficiency and interoperability in their blockchain operations, aiming to support developers, enthusiasts, and enterprises in the blockchain space.
Key Metrics
San Francisco, CaliforniaHeadquarters
2022Year Founded
$53.5MTotal Funding
SERIES_ACompany Stage
Data & Analytics, Crypto & Web3Industries
11-50Employees