About
What Happens at YC?
Apply
YC Interview Guide
FAQ
People
YC Blog
Companies
Startup Directory
Founder Directory
Launch YC
Startup Jobs
All Jobs
◦ Engineering
◦ Operations
◦ Marketing
◦ Sales
Internships
Startup Job Guide
YC Startup Jobs Blog
Find a Co-Founder
Library
SAFE
Resources
Startup School
Newsletter
Requests for Startups
For Investors
Verify Founders
Hacker News
Bookface
Open main menu
Apply for
X2026
batch.
Apply
Haladir
Rooting Formal Methods into CodeGen RL & Data
Company
Jobs
0
https://www.haladir.com/
Jobs at Haladir
No jobs at Haladir are currently posted on the YC platform.
Haladir
Founded:
2025
Batch:
W26
Team Size:
4
Status:
Active
Location:
San Francisco
Founders
Jibran Hutchins
Founder
Jibran Hutchins
Founder
Quan Huynh
Founder
Quan Huynh
Founder
Preston Schmittou
Founder
Preston Schmittou
Founder
Joseph Tso
Founder
Joseph Tso
Founder
