Find jobs in AI/ML, Data Science and Big Data
7 results
for Program synthesis
(Skill/Tech stack)
-
Software Engineer, Kernel Performance & AI Tooling USD 266K-445KC plus plus | C# | Compilers | Debugging | Domain-specific languagesSenior-level Full TimeSan Francisco12d ago
-
Agentic tool use | Data collection | Dataset creation | Diffusion Models | Fine TuningMid-level Full TimeFoster City, CA13d ago
-
2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting USD 142K-193KAbstract interpretation | Automated Reasoning | Boolean satisfiability | Bounded model-checking | Deductive verificationComputing Infrastructure | Mentorship | Relocation support | Research papersEntry-level Full Time InternshipSeattle, Washington, USA14d ago
-
Applied AI Researcher, System Self-Construction USD 150K-250KAgent Orchestration | Data Analysis | Ensembling | Evolutionary computation | Graph-of-Thoughts401k matching | Access To State Of The Art Models | Commuter benefits | Dental insurance | Health insuranceMid-level Full TimeSan Francisco15d ago
-
AI Research Engineer SGD 60K-108KAWS Lambda | Amazon EC2 | Amazon ECS | Amazon RDS | Amazon SNSContinuous education | Flexible work policy | Growth mindset | Hybrid work | Remote workMid-level Full TimeSingapore17d ago
-
Senior Applied Scientist, Annapurna ML USD 167K-260KArtificial Intelligence | C++ | Compiler technology | Deep learning | JAXCareer growth | Flexible work | Mentorship | Work-life balanceSenior-level Full TimeSeattle, Washington, USA20d ago
-
Machine Learning Researcher - Springtail USD 150K-300KAttention Mechanisms | CUDA | Data-Efficient Learning | Deep learning | Efficient LearningHybrid work | Research codebase support | Team collaboration | Travel for in person collaborationMid-level Full TimeEmeryville HQ1mo ago