Find jobs in AI/ML, Data Science and Big Data
9 results
for Program analysis
(Skill/Tech stack)
-
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, USA8d ago
-
Compiler Engineer - Algorithmic Workloads Compilation USD 170K-251KC++ | Compiler Intermediate Representation | Intermediate representation | LLVM | Loop OptimizationMid-level Full TimePalo Alto, CA10d ago
-
Blockchain | C++ | Decentralized applications | Ethereum | Formal MethodsEntry-level Full TimeNTU Main Campus, Singapore10d ago
-
Blockchain | C plus plus | Ethereum | Formal Methods | JavaEntry-level Full TimeNTU Main Campus, Singapore10d 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, USA14d ago
-
Assistant Director, Analytics USD 135K-135KAgile | Apache Airflow | Business Intelligence | DBT | Data VisualizationExecutive-level Full TimeWashington, District of Columbia, United States; …15d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KAWS | Mechanical theorem proving | Privacy | Program analysis | Programming languageFlexible work hours | Work-life balanceSenior-level Full TimeArlington, Virginia, USA1mo ago
-
Graph Databases | Java | Language Models | Large Language Models | Machine LearningHybrid work | Informal work environment | Internship allowance | Personal growth opportunities | Work laptopEntry-level Full Time InternshipHBP (Amsterdam - Haarlerbergpark), Netherlands1mo ago
-
Artificial Intelligence | Binary Analysis | C# | C++ | Fuzz testingMid-level Full TimeNTU Main Campus, Singapore1mo ago