View organization detailsHide organization details
Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure.
Funding
Skill
Formal Verification Jobs
Explore Formal Verification jobs in blockchain and crypto. Find positions requiring Formal Verification skills.
Job market intelligence
formal verification market pulse
Daily open opportunities, newly observed postings, hiring breadth, and normalized monthly compensation for jobs in this pillar.
Open jobs
59
As of 2026-10-19
Hiring companies
32
Distinct employers
New this week
3
+2 vs prior week
Job velocity
Low activity
7 days vs previous 7 days
Compensation by work market
Remote pay is separated from onsite and hybrid pay so expensive cities do not distort the remote benchmark.
Remote
Limited evidence14 salaries from 10 employers
19 open jobs at 15 hiring companies
Onsite + hybrid
30 salaries from 14 employers
35 open jobs at 15 hiring companies
| Country market | Open jobs | Hiring companies | Median | Middle 50% | Evidence |
|---|---|---|---|---|---|
| United States | 27 | 13 | $20K/mo | $17.7K/mo – $22.9K/mo | 25 salaries from 12 employers |
Open jobs are current; salary evidence covers the past 12 months and also uses closed postings. Every place rolls up through its canonical city, region, country, and continent hierarchy exactly once.
Opportunity activity
Open roles, employers, and newly listed jobs by day
All-mode pay history
Historical context; use the work-market split above for current pay
Earlier open counts are estimated from observation dates. Offline postings are never inferred open for more than 90 days; new daily samples are exact snapshots.
View organization detailsHide organization details
Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure.
Funding
View organization detailsHide organization details
Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure.
Funding
Formal Verification Engineer
Tenstorrent·2 weeks ago
View organization detailsHide organization details
Tenstorrent is an AI-computing company that sells AI hardware and licenses AI and RISC-V intellectual property.
Funding
Investors
Baillie GiffordFidelity Management and Research CompanyProtagonistLG Technology VenturesInnovation EngineSamsung SecuritiesSamsung Catalyst FundAFW PartnersBezos ExpeditionsCorner CapitalExport Development CanadaHealthcare of Ontario Pension PlanHyundai Motor GroupMESHXTX MarketsEclipse VenturesEpiq CapitalFidelity VenturesMaverick CapitalEpic CGMoore CapitalReal Ventures
2 weeks agoLeadSalary: 175K - 275KAnn Arbor; SunnyvaleOnsiteFull TimeEngineering ManagementJobs by Applied Intuition
View organization detailsHide organization details
Applied Intuition is a physical-AI company that provides software platforms for developing, validating, deploying, and operating intelligent vehicles and machines.
Funding
Investors
FloodgateElad GilCoatueKleiner PerkinsAdditionGeneral CatalystLux Capital137 VenturesAbu Dhabi Investment CouncilBAM ElevateBlackRock-managed funds and accountsBONDFidelity Management & Research CompanyFranklin TempletonGreycroftPremji InvestQatar Investment AuthorityStripesTribe CapitalBONDFidelity Management & Research CompanyAndreessen HorowitzBONDHenry KravisHuman CapitalJohn QuinnMustafa SuleymanNico RosbergPorsche Investments Management S.A.Ray DalioAndreessen HorowitzSemil ShahAndreessen HorowitzAndreessen Horowitz137 VenturesAbu Dhabi Investment CouncilAdditionBAM ElevateBlackRock-managed funds and accountsBONDElad GilFidelity Management & Research CompanyFranklin TempletonGeneral CatalystGreycroftKleiner PerkinsLuxPremji InvestQatar Investment AuthorityStripesTribe CapitalLux CapitalPorsche Investments Management S.A.Coatue ManagementAndreessen HorowitzFloodgateLa FamigliaM12Sozo Ventures137 VenturesAbu Dhabi Investment CouncilAdditionBAM ElevateBlackRock-managed funds and accountsBONDElad GilFidelity Management & Research CompanyFranklin TempletonGeneral CatalystGreycroftKleiner PerkinsLux CapitalPremji InvestQatar Investment AuthorityStripesTribe CapitalBONDElad GilFidelity Management & Research CompanyGeneral CatalystLux CapitalAndreessen HorowitzBONDElad GilGeneral CatalystHenry KravisHuman CapitalJohn QuinnLux CapitalMustafa SuleymanNico RosbergPorsche Investments Management S.A.Ray DalioAdditionAndreessen HorowitzCoatue ManagementElad GilGeneral CatalystLux CapitalSemil ShahAndreessen HorowitzGeneral CatalystLux CapitalAndreessen HorowitzFloodgateGeneral CatalystKleiner PerkinsLa FamigliaLux CapitalM12Sozo Ventures
Senior Security Engineer Product
Jito·2 weeks ago
View organization detailsHide organization details
13 current maintainers12 active leads
Provides MEV infrastructure to help Solana validators maximize earnings, traders execute advanced strategies, and stakers earn boosted rewards through JitoSOL.
Funding
Investors
View all 28 skillsHide skills
Ai SecurityApplication SecurityBlockaidBug BountyC#Code ReviewCryptoDefiFormal VerificationFuzzingGoHardware Security ModuleHypernativeKey ManagementMultisigOnchain SecurityProduct SecurityProperty-Based TestingPythonRustSecure DesignSecurity AutomationSmart ContractSolanaThreat ModelingTrusted Execution EnvironmentVulnerability TestingWeb3
View organization detailsHide organization details
Etched is an AI-hardware company building rack-scale frontier inference clusters.
Funding
View all 34 skillsHide skills
AtpgCadenceClock Tree SynthesisDrcEcoElectromigrationFloorplanningFormal VerificationFusion CompilerGdsiiGenusInnovusIr DropLvsPerlPhysical DesignPhysical VerificationPlacementPower VerificationPpaPrimetimePythonRc ExtractionRoutingRtlScan InsertionStaSynopsysSynthesisTclTempusTiming ClosureUpfVoltus
Senior Security Engineer DeFi
Mysten Labs·3 weeks ago
3 weeks agoSeniorSalary: 165K - 225KUSA (Remote); Canada (Remote)RemoteFull TimeToken AllocationCybersecurityJobs by Mysten Labs
View organization detailsHide organization details
Mysten Labs develops blockchain infrastructure and protocols including Sui network, Walrus storage, and Enoki platform for decentralized applications.
View organization detailsHide organization details
Etched is an AI-hardware company building rack-scale frontier inference clusters.
Funding
Physical Design Engineer
Etched·3 weeks ago
View organization detailsHide organization details
Etched is an AI-hardware company building rack-scale frontier inference clusters.
Funding