Formal verification PhDs in demand: AI labs are racing to hire PL experts
xuanalogue · x · 2026-10-23
TaliaRinger notes her PhD students graduating this year specialize in formal verification and programming languages, with and without AI assistance. Quoted replies add that insiders say AI labs are actively seeking to hire more PL people, seeing the current moment as ripe.
More from Companies & People
- Open-source math dependency graph goes public, praised by Rutgers professor — AlexKontorovich · 2026-10-23
- Ex-OpenAI research chief Bob McGrew teams with Altimeter on US manufacturing startup Arda — bobmcgrewai · 2026-10-23
- Pichai Explains Why Gemini 3.5 Pro Never Shipped: Google Pivoted to Flash to Fix Agentic Coding Gaps — m4rkmc · 2026-10-23
- Ex-judge Bridget Mary McCormack joins Clio to build AI for courts, not just lawyers — EJWalters · 2026-10-23
- OpenAI Third-Party Veteran: Testing Imperfect Products Became the Norm — morqon · 2026-10-23
- Fired OpenAI safety researcher's sardonic take: audits were 'too much safety' — tomekkorbak · 2026-10-23