Find jobs in AI/ML, Data Science and Big Data
20 results
for Program analysis
(Skill/Tech stack)
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAWS | Automated Reasoning | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeAustin, Texas, USA7d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA7d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hours | Mentorship | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA7d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Machine Learning | Program analysis | Programming language | Programming language type systemsFlexible work hours | Mentorship | Training and career growth | Work-life balanceSenior-level Full TimeSeattle, Washington, USA7d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Cloud | Privacy | Program analysis | Programming languageCareer growth opportunities | Flexible work hours | Learning and training resources | Mentoring | Work-life harmonyMid-level Full TimeBoston, Massachusetts, USA7d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and development resources | Mentoring | Work-life balanceMid-level Full TimeAustin, Texas, USA7d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-222KAutomated Reasoning | Mechanical theorem proving | Privacy | Problem Solving | Program analysisFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA7d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsDEI events and learning experiences | Flexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeSeattle, Washington, USA8d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and training resources | Mentoring culture | Work-life harmonySenior-level Full TimeSeattle, Washington, USA8d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-223KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsFlexible work hours | Inclusive culture | Learning and training resources | Mentoring | Work-life balanceMid-level Full TimeSeattle, Washington, USA8d ago
-
ACIP Updates | CDC Immunization | CDC Immunization Data | Clustering | Cohort AnalysisHybrid work | Travel 5 15 PercentMid-level Full TimeMorristown, NJ, United States16d ago
-
AI Engineering Operations Analyst USD 108K-162KAutomation | Dashboards | Data analytics | Deck Development | Executive CommunicationsMid-level Full TimeSan Diego, California, United States of …21d ago
-
AI Research Engineer USD 100K-300KAutomated Reasoning | Automated testing | Code generation | Dynamic analysis | Formal verificationSenior-level Full TimeSan Francisco, CA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and training resources | Work-life balanceMid-level Full TimeSeattle, Washington, USA1mo ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KApplied Research | Automated Reasoning | Privacy | Program analysis | Programming languageFlexible work hours | Mentoring | Training and career growth | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA1mo ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsCareer growth and training | Flexible work hours | MentorshipSenior-level Full TimeSeattle, Washington, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATDEI Events | Flexible work hours | Learning and career growth resources | Mentoring and knowledge sharing | Work-life balanceMid-level Full TimeAustin, Texas, USA1mo 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, USA1mo ago
-
Compiler Engineer - Algorithmic Workloads Compilation USD 170K-251KC++ | Compiler Intermediate Representation | Intermediate representation | LLVM | Loop OptimizationMid-level Full TimePalo Alto, CA1mo ago