by @turing-full-kettle.bsky.social
static/dynamic/program analysis, symbolic/concolic execution
Nathan House Anthropic's application security posting: Claude is the primary tool across every part of the job. Static analysis, fixes as PRs, bug bounty triage. The human work is the judgment layer. $485K at the top. The $180K role wants the same skill. Comment AIJOBS for the list.
DevBlast | Developer Jobs 🚨 On-site Staff Software Engineer, Security Factory: Static Analysis 🚨 👤 Staff Software Engineer, Security Factory: Static Analysis at [Company] 🇨🇦 Canada • 🌎 On-site • 📊 Mid-Senior 📅 just now Daily Developer Jobs → https://devblast.co/subscribe/?src=bluesky ($14/month)
DevBlast | Developer Jobs 🚨 Remote Staff Software Engineer, Security Factory: Static Analysis 🚨 👤 Staff Software Engineer, Security Factory: Static Analysis at [Tech Company] 🇨🇦 Canada • 🌎 Remote • 📊 Mid-Senior 📅 just now Daily Developer Jobs → https://devblast.co/subscribe/?src=bluesky ($14/month)
shai-streetlifting.bsky.social New: The Program Analyzer https://shaiariola.com/blog/program-analyzer
Colin Carlson Very cool new preprint I was very excited to be a VERY small part of, from @viralverity.bsky.social and @nathangrubaugh.bsky.social: "Phylodynamic analysis reveals asymmetric and accelerating global spread of dengue virus" www.biorxiv.org/content/10.6...
+Pluswerk ⏩ Speed is a byproduct of trust. At PCDD 2026, PHP expert Sebastian Bergmann explores how testing, static analysis & architectural boundaries can make AI-assisted development faster – without sacrificing quality. 🔗 www.pluswerk.digital/pcdd #PCDD #PHP #Symfony #PHPUnit #PHPStan #AI
EPFL School of Computer and Communication Sciences Today, we are at the IC Colloquium by Pavle Subotic about Abstract Interpretation on irregular programming environments. This talk explores how static analysis and abstract interpretation can bring software engineering rigor to real-world data workflows. #EPFL #IC #StaticAnalysis
Scala Days Is metaprogramming just functional programming? Join Kathryn Frid to explore the connections and differences between the two: from map and flatMap to inline, quotes, splices, IO, and program analysis. More: scaladays.org/sessio... 12-13 October. Berlin
☣ KitPloit - Hacker Tools kics v2.2.0 — Static analysis scanner for infrastructure-as-code that detects security vulnerabilities, compliance violations, and misconfigurations across Terraform, Kubernetes, CloudFormation, and 20+ IaC platforms. https://ktp.sh/H1XxaDszge
PyCon NL Next speaker announced 🎉 Maikel Mardjan built an open source Python SAST scanner from scratch. He'll show what static analysis catches, what it misses, and why "zero findings" is not the same as "safe" 🔍 15 October, Utrecht 🐍 #PyConNL #Python