Senior Research Scientist – Formal Methods and Cryptology
Tasks
- Build tools and capabilities in relevant programming languages
- Collaborate on debugging and pair programming
- Communicate design decisions technical challenges and progress
- Design formal methods solutions for customer problems
- Document and publish research papers
- Prototype and evaluate features in large software projects
- Take technical ownership of scoped projects
Perks/Benefits
- N/A
Skills/Tech-stack
Assembly | Automated program analysis | CompCert | Compilers | Computer Architecture | Cryptography | Cryptology | Debugging | Formal Methods | Functional Programming | Hypervisor | LLVM | Operating Systems | Operational semantics | Program analysis | Programming Languages | RTOS | SMT solving | Software testing | Theorem Proving | Version control
Education
Related jobs
-
Senior Security Researcher USD 134K-193KBinary Ninja | Debugging | Disassembly | Dynamic analysis | Exploit DevelopmentSenior-level Full TimeUSA13h ago
-
Senior Vulnerability Researcher (Cyber262) USD 134K-210KASLR | Behavioral Analysis | Binary Analysis | Bluetooth | C#401k company match | Flexible work schedules | Health insurance coverage | Paid for benefits from day one | Paid parental leaveSenior-level Full TimeSt. Petersburg, FL17h ago
-
Senior CNO Developer (Cyber261) USD 86K-198KACL | Assembly | Bamboo | C# | C++401k matching | Flexible work schedule | Health insurance | Paid parental leave | Paid time offSenior-level Full TimeMelbourne, FL17h ago
-
Android Mobile Reverse Engineer USD 104K-182KAndroid | Android Internals | Debugging | Disassembly | Dynamic analysisBirthday day off | Employee medical coverage | Employee referral bonus | Flexible work schedule | HSA/FSAMid-level Full TimeHonolulu, HI1d ago
-
Senior Cybersecurity Scientist USD 138K-250KCybersecurity | Formal Methods | Offensive security | Open Source | Research writingSenior-level Full TimeBeavercreek, OH, United States2d ago
-
Senior Cybersecurity Scientist USD 138K-250KBusiness Development | Cybersecurity | Formal Methods | Offensive security | Open SourceSenior-level Full TimeLexington, MA, United States3d ago
-
Senior Principal Cybersecurity Researcher USD 207K-311KAssembly | Attack Surface Triage | Attack surface | Binary Analysis | Blackbox FuzzingDental insurance | Disability insurance | Life insurance | Medical insurance | Paid leaveSenior-level Full TimeArlington, Virginia4d ago
-
Senior Reverse Engineer USD 134K-184KAFL++ | ARM | Anti-Malware | Anti-reverse engineering | Assembly LanguageActive Top Secret clearance required | Onsite workSenior-level Full TimeWoburn, MA8d ago
-
Senior CNO Developer (Cyber246) USD 86K-198K.NET | Assembly | Bamboo | Build systems | C#401k match | Flexible work schedule | Health insurance | Paid parental leave | Paid time offSenior-level Full TimeSt. Petersburg, FL10d ago
-
Cryptologic Computer Scientist 2 USD 104K-119KAlgorithm Analysis | C++ | Compiler Theory | Computer Architecture | Data StructuresMid-level Full TimeAnnapolis Junction, MD, USA, 2070111d ago
-
Cryptanalytic Computer Scientist 3 USD 140K-155KAlgorithm Design | Apache Spark | C++ | Cryptanalysis | CryptographyTS SCI PolygraphMid-level Full TimeAnnapolis Junction, MD, USA, 2070111d ago
-
Cryptologic Computer Scientist 3 USD 133K-148KAlgorithm Analysis | Apache Spark | Attack attribution | Compiler Theory | Computer ArchitectureMid-level Full TimeAnnapolis Junction, MD, USA, 2070111d ago
-
Anonymous Authentication | Cryptography | Identity Technology | Verifiable Credentials | Zero knowledgeEntry-level Part TimePenn State University Park, United States11d ago
-
Senior-level Full TimeUSA, Beavercreek Township, 4027 Colonel Glenn …12d ago
-
Offensive Hardware Security Researcher USD 184K-356KARM Assembly | ASIC design | Binary instrumentation | C# | ChipWhispererBenefits | Equity | Remote work collaborationSenior-level Full TimeUS, CA, Santa Clara, United States13d ago
-
Senior-level Full TimeBasking Ridge, NJ, United States16d ago
-
Principal Security Researcher USD 134K-193KBinary Ninja | CI/CD | Debugging | DevSecOps | DisassemblyClassified work environment | Mentorship | TS/SCI clearance requiredSenior-level Full TimeHerndon, VA16d ago
-
Researcher, Safety & Privacy USD 295K-445KAI Safety | Adversarial Machine Learning | Algorithmic auditing | Cryptography | Differential PrivacySenior-level Full TimeSan Francisco17d ago
-
Senior CNO Vulnerability Researcher USD 135K-216KAgile Scrum | Assembly | Atlassian Confluence | Atlassian Crucible | Atlassian JiraSenior-level Full TimeUSA-TX-San Antonio18d ago
-
CNO Vulnerability Research Expert USD 128K-210KAgile Scrum | Assembly | Binary Ninja | C plus plus | C#Senior-level Full TimeUSA-TX-San Antonio18d ago
-
Computer Scientist II USD 120K-130KAgile | Angular | Azure DevOps | CI/CD | Configuration Management401k match | Dental insurance | Disability insurance | FSA | Health savings accountMid-level Full TimeLas Vegas, NV, United States23d ago
-
Applied algebra | Computer Science | Cryptography | MathematicsDental insurance | Dependent tuition program | Employee discounts | Employee tuition program | Life insuranceNone Full TimeTampa, FL, United States23d ago
-
AES | Certificate management | Cloud key management | Common Criteria | Crypto agility401k match | Paid time off | Remote work flexibility | Stock purchase discountSenior-level Full TimeRemote - Texas, United States R25d ago
-
ARM | Assembly Language | Automated analysis | Debugging | DecompilationAnnual raises | Health insurance | Hybrid work schedule | Paid time off | Retirement planSenior-level Full TimeArlington, VA1mo ago
-
ARM | Anti-reverse engineering | Assembly | Automated analysis | DebuggersAnnual raises | Health benefits | Hybrid work schedule | Revenue share for new work | Team incentive bonusesSenior-level Full TimeArlington, VA1mo ago