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

1 points by cpeterson42 2d ago 0 comments

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

1 points by beyondd 3d ago 0 comments

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

1 points by nhourcard 3d ago 0 comments

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

1 points by jacobwg 3d ago 0 comments

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

1 points by kevo1ution 4d ago 0 comments

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

1 points by bekacru 4d ago 0 comments

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

1 points by emil_sorensen 4d ago 0 comments

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

1 points by richard_pepper 5d ago 0 comments

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

1 points by kbyatnal 5d ago 0 comments

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

1 points by dsacellarius 7d ago 0 comments

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

1 points by zachgitt 8d ago 0 comments

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

1 points by ugolino91 8d ago 0 comments

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

1 points by OliverWales 8d ago 0 comments

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

1 points by rituraj_rhealth 9d ago 0 comments

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

1 points by adchurch 10d ago 0 comments

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

1 points by chanfest22 11d ago 0 comments

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

1 points by markfeldner 11d ago 0 comments

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

1 points by darweenist 11d ago 0 comments

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

1 points by Gabriel_h 12d ago 0 comments

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

1 points by vmatsiiako 13d ago 0 comments

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

1 points by mvoodarla 14d ago 0 comments

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

1 points by davidbuniat 15d ago 0 comments

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

1 points by kbanothu 18d ago 0 comments

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

1 points by dgoncharov 20d ago 0 comments

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

1 points by sebselassie 21d ago 0 comments

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

1 points by sestinj 22d ago 0 comments

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

1 points by Old_Thrashbarg 22d ago 0 comments

Enhanced Radar (YC W25) is hiring a founding engineer

1 points by EricButton 22d ago 0 comments

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

1 points by thomashlvt 23d ago 0 comments

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

1 points by asontha 23d ago 0 comments

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

1 points by adam_carrigan 24d ago 0 comments

Gilles Dowek, automated theorem proving pioneer, passed away

2 dkural 1 7/26/2025, 1:42:42 AM lemonde.fr ↗

Comments (1)

toomuchtodo · 21h ago

https://fr.wikipedia.org/wiki/Gilles_Dowek