Find jobs in InfoSec/Cybersecurity
2 results
for Static Program Analysis
(Skill/Tech stack)
-
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, USA14d 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, Maryland20d ago