More jobs:
Founding Member, Formal Methods Hardware Verification
Job in
Palo Alto, Santa Clara County, California, 94306, USA
Listed on 2026-07-03
Listing for:
Kindredventures
Full Time
position Listed on 2026-07-03
Job specializations:
-
IT/Tech
Hardware Engineer, AI Engineer (Applied/Software)
Job Description & How to Apply Below
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.
#J-18808-LjbffrTo View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×