Founding Member, Formal Methods for Hardware Verification

Kindredventures; Palo Alto (CA); On-site; USD 120,000 - 180,000; Full time

Benefits offered by this job

Competitive salary and equity stake

Autonomy in a fast-paced startup

Impactful foundational role

Job summary

Kindredventures is looking for a Founding Member of the Technical Staff - Formal Methods to lead the formal foundations of chip design at Architect Labs. In this role, you'll design and implement a formal specification language, build proof tools, and ensure rigorous production of AI-generated hardware.

The ideal candidate will have a PhD in Computer Science and deep expertise in formal methods, with a proven track record in applying these methodologies. Enjoy competitive salary and equity as part of a fast-paced startup environment.

Qualifications

• Strong background in formal methods applied to hardware or systems.
• Experience applying formal methods to real artifacts.
• Proficient in software engineering and building tools.

Responsibilities

• Design and implement the formal specification language for chip design.
• Build proof-obligation generator for checkable claims.
• Establish soundness arguments and coverage-adequacy methodology.

Skills

Formal Methods Depth

Engineering Rigor

Tool Pragmatism

Execution

Education

PhD in Computer Science or related field

Tools

TLA+

Lean

Coq

Job description

Kindredventures is looking for a Founding Member of the Technical Staff - Formal Methods to lead the formal foundations of chip design at Architect Labs. In this role, you'll design and implement a formal specification language, build proof tools, and ensure rigorous production of AI-generated hardware.

The ideal candidate will have a PhD in Computer Science and deep expertise in formal methods, with a proven track record in applying these methodologies. Enjoy competitive salary and equity as part of a fast-paced startup environment.