Thunder Compute (YC S24) Is Hiring a C++ Systems Engineer (ycombinator.com)

1 points by cpeterson42 3d ago 0 comments

Optery (YC W22) Is Hiring in Engineering, Legal, Sales, Marketing (U.S., Latam) (optery.com)

1 points by beyondd 4d ago 0 comments

QuestDB (YC S20) Is Hiring a Technical Content Lead (questdb.com)

1 points by nhourcard 4d ago 0 comments

Depot (YC W23) Is Hiring a Technical Content Writer (Remote) (ycombinator.com)

1 points by jacobwg 4d ago 0 comments

Firebender (YC W24) Is Hiring (ycombinator.com)

1 points by kevo1ution 5d ago 0 comments

Better Auth (YC X25) Is Hiring (ycombinator.com)

1 points by bekacru 5d ago 0 comments

Kapa.ai (YC S23) is hiring a software engineers (EU remote) (ycombinator.com)

1 points by emil_sorensen 5d ago 0 comments

Spice Data (YC S19) Is Hiring a Product Associate (New Grad) (ycombinator.com)

1 points by richard_pepper 6d ago 0 comments

Extend (YC W23) is hiring engineers to build SOTA document processing (jobs.ashbyhq.com)

1 points by kbyatnal 6d ago 0 comments

Piramidal (YC W24) is hiring a full stack engineer (ycombinator.com)

1 points by dsacellarius 8d ago 0 comments

Mango Health (YC W24) Is Hiring (ycombinator.com)

1 points by zachgitt 9d ago 0 comments

Resolve (YC W15) Is Hiring an Operations and Billing Lead for Construction VR

1 points by ugolino91 9d ago 0 comments

Arva AI (YC S24) Is Hiring an AI Research Engineer (London, UK) (arva.ai)

1 points by OliverWales 9d ago 0 comments

Rejoy Health (YC W21) Is Hiring (ycombinator.com)

1 points by rituraj_rhealth 10d ago 0 comments

Weave (YC W25) is hiring an AI engineer (ycombinator.com)

1 points by adchurch 11d ago 0 comments

CoinTracker (YC W18) is hiring to solve crypto taxes and accounting (remote)

1 points by chanfest22 12d ago 0 comments

Crimson (YC X25) is hiring founding engineers in London (ycombinator.com)

1 points by markfeldner 12d ago 0 comments

Martin (YC S23) Is Hiring Founding Engineers to Build a Better Siri (ycombinator.com)

1 points by darweenist 13d ago 0 comments

Meticulous (YC S21) is hiring in UK to redefine software dev (tinyurl.com)

1 points by Gabriel_h 13d ago 0 comments

Infisical (YC W23) Is Hiring DevRel Engineers (ycombinator.com)

1 points by vmatsiiako 14d ago 0 comments

Sieve (YC X25) is hiring researchers to build large video datasets for AI labs (sievedata.com)

1 points by mvoodarla 15d ago 0 comments

Activeloop (YC S18) Is Hiring AI Search and Python Back End Engineers(Onsite,MV) (careers.activeloop.ai)

1 points by davidbuniat 16d ago 0 comments

Attimet (YC F24) – Quant Trading Research Lab – Is Hiring Founding Researcher (ycombinator.com)

1 points by kbanothu 19d ago 0 comments

Metriport (YC S22) is hiring engineers to improve healthcare data exchange (ycombinator.com)

1 points by dgoncharov 21d ago 0 comments

Telli (YC F24) Is Hiring Engineers [On-Site Berlin] (hi.telli.com)

1 points by sebselassie 22d ago 0 comments

Continue (YC S23) is hiring software engineers in San Francisco (ycombinator.com)

1 points by sestinj 23d ago 0 comments

UpCodes (YC S17) is hiring a Head of Ops to automate construction compliance (up.codes)

1 points by Old_Thrashbarg 23d ago 0 comments

Enhanced Radar (YC W25) is hiring a founding engineer

1 points by EricButton 23d ago 0 comments

Converge (YC S23) well-capitalized New York startup seeks product developers (runconverge.com)

1 points by thomashlvt 24d ago 0 comments

Kyber (YC W23) Is Hiring Enterprise BDRs (ycombinator.com)

1 points by asontha 24d ago 0 comments

MindsDB (YC W20) is hiring an AI solutions engineer (job-boards.greenhouse.io)

1 points by adam_carrigan 25d ago 0 comments

Formal specs as sets of behaviors

28 Bogdanp 2 7/27/2025, 8:13:55 PM surfingcomplexity.blog ↗

Comments (2)

gm678 · 5h ago

Posted at https://news.ycombinator.com/item?id=44700744

tomhow · 1h ago

Comments moved thither. Thanks!