Find jobs in InfoSec/Cybersecurity
15 results
for Program analysis
(Skill/Tech stack)
-
Reinforcement Learning Infrastructure (Cybersecurity) USD 176K-242K*nix | Binary exploitation | Buffer Overflows | BuildKit | C#Work from home 100%Senior-level Full TimeRemote - US R1d ago
-
AI Security | Application Security | Detection Mechanisms | Go | Privacy ProtectionSenior-level Full TimeSan Francisco4d 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, USA6d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KPrivacy | Program analysis | Programming language | Programming language type systems | SAT401k matching | Career growth training | Flexible work hours | Health insurance | MentoringSenior-level Full TimeSeattle, Washington, USA6d ago
-
Artificial Intelligence | Automation | Cause analysis | Dashboarding | Data AnalysisSenior-level Full TimeBogota, Colombia14d ago
-
Angr | Assembly | BAP | Binary Analysis | Binary NinjaCareer development | Expansive technical portfolio | Mentorship | TrainingSenior-level Full TimeFL710: Raytheon SI Government Solutio 1220 …20d 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, USA21d ago
-
AI Agents | Cause analysis | Dynamic analysis | Exploitability assessment | FuzzingSenior-level Full TimeSanta Clara, CA23d ago
-
AI | Cause analysis | Dynamic analysis | Exploit Development | Exploitability analysisSenior-level Full TimeSanta Clara, CA23d ago
-
AI Agent | Artificial Intelligence | Cause analysis | Concept development | Dynamic analysisSenior-level Full TimeSanta Clara, CA23d ago
-
C++ | Cause analysis | Concept development | Docker | Dynamic analysisSenior-level Full TimeSanta Clara, CA23d ago
-
CNO Vulnerability Researcher, SME USD 150K-275KAssembly | Binary Ninja | C# | C++ | Computer Network Security401k employer match | Employer-paid STD/LTD | Employer-paid life insurance | Flexible spending account | Paid federal holidaysSenior-level Full TimeColumbia, Maryland27d ago
-
Angr | Assembly | Binary Analysis | Binary Ninja | C#Expansive technical portfolio | Mentorship | Technical career development | TrainingSenior-level Full TimeFL710: Raytheon SI Government Solutio 1220 …1mo ago
-
Research Scientist USD 100K-300KAI for Code | AI for Code Reasoning | AI for code generation | Automated Reasoning | Automated testingSenior-level Full TimeSan Francisco, CA1mo ago
-
AI Research Engineer USD 100K-300KAutomated Reasoning | Automated testing | Code generation | Dynamic analysis | Formal verificationSenior-level Full TimeSan Francisco, CA1mo ago