Theorem
https://theorem.devProgram verification so even your systems engineers can vibecode
Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!
Total Open and Closed Positions
Total open positions, and positions newly closed since the previous update
Department Headcount Over Time
Open positions per department · top 6 at any point in the window
Newly Opened and Closed Positions
Position Churn Rate
Positions closed within 14 days of opening · a high rate suggests posting instability — duplicates, pulled listings, or roles filled through internal or off-market channels
Time-to-Fill Distribution
Days from open to close · closed positions only
Salary Trend Over Time
Monthly median base salary · USD · annualized · p25/p75 dashed
Salary Range by Department
Employment Type
Technical vs. Non-technical
Open positions · by department
Top Roles by Department
Seniority Mix
Derived from job title keywords
Equity Range by Department
Top Skills
Top Tech Stacks
Skills Trend
Change in share of postings · recent 3 months vs. prior 3 months
Tech Stack Evolution
Positions opened per month · top 5 technologies