Find jobs in AI/ML, Data Science and Big Data
23 results
for Program analysis
(Skill/Tech stack)
-
Applied Scientist, AWS Automated Reasoning GBP 81K-108KC++ | Constraint Solving | Formal verification | Java | Program analysisFlexible work hours | Work-life balanceMid-level Full TimeLondon, England, GBR1d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hoursSenior-level Full TimeSeattle, Washington, USA6d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-248KDafny | Haskell | Kotlin | Lean | Mechanical theorem provingFlexible work hours | Paid time off | Parental leave | Work-life balanceSenior-level Full TimeSeattle, Washington, USA7d ago
-
Applied Scientist, AWS Science of Security USD 142K-223KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SAT401k matching | Adoption reimbursement | Dental insurance | EAP | Flexible spending accountsMid-level Full TimeSeattle, Washington, USA7d ago
-
Strategic Artificial Intelligence (AI) Engineer USD 97K-176KComputer Vision | Configuration Management | Cybersecurity | Language Processing | Machine LearningHybrid workMid-level Full TimeFort Meade, MD14d ago
-
QBID Quantum Technology SME USD 200K-250KDefense Technology | Defense Technology Modernization | Program analysis | Quantum technologies | Requirements developmentEducation and training assistance | Healthcare benefits | Insurance programs | Paid leave | Retirement plansSenior-level Full TimeArlington, VA, United States16d ago
-
Research Scientist, AI Verification GBP 255K-325KAI Reasoning | Agent Design | Automatic Program Analysis | Benchmarking | Data PipelinesMid-level Full TimeParis, France | London, UK19d ago
-
Benchmarking | C++ | Cybersecurity | Data Analysis | Data collectionNone Full TimeNTU Main Campus, Singapore21d ago
-
Artificial Intelligence | Computer Vision | Cybersecurity | Data Science | DatabasesDual career support | Educational assistance | Health and wellness services | Internal funding | Relocation allowanceMid-level Full TimeAbu Dhabi27d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCloud Security | Dafny | Haskell | Kotlin | Language theoryFlexible work hours | Mentorship | Paid time off | Parental leave | Training resourcesSenior-level Full TimeSeattle, Washington, USA27d ago
-
Agent systems | Automated testing | C++ | Code generation | DebuggingAccess to real world datasets | International collaboration opportunities | Large scale computing resourcesEntry-level Full TimePisa, Italy30d ago
-
Research Engineer, Code RL (Reinforcement Learning) USD 500K-850KAsync Programming | CUDA | Code verification | Concurrent programming | Distributed TrainingFlexible working hours | Generous vacation | Parental leaveMid-level Full TimeSan Francisco, CA | New York …1mo ago
-
Abstract interpretation | Application Security | Automated Reasoning | Compositional heap analysis | Coq401k matching | Flexible work hours | Paid time off | Parental leaveSenior-level Full TimeNew York, New York, USA1mo ago
-
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, USA1mo 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, USA1mo 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, USA1mo 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, USA1mo 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, USA1mo 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, USA1mo 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, USA1mo 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, USA1mo 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, USA1mo 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, USA1mo ago