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
-
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 States3d ago
-
Applied algebra | Computer Science | Cryptography | MathematicsDental insurance | Dependent tuition program | Employee discounts | Employee tuition program | Life insuranceNone Full TimeTampa, FL, United States3d 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 R4d ago
-
Mid-level Full TimeRedmond, WA, US9d ago
-
Associate Cyber Applied Research Scientist (CH) USD 61K-110KArtificial Intelligence | C# | C++ | Debugging | Dynamic reverse engineeringEducation assistance | Holidays | Paid time off | Relocation assistanceMid-level Full TimeNew Jersey, Cherry Hill-NJ10d ago
-
Computer Scientists USD 89K-150KAssembly | C# | C++ | Client-Server | Client-Server ArchitectureEmployee growth and engagementMid-level Full TimeAnnapolis Junction / Fort Meade, MD10d ago
-
ARM | Assembly Language | Automated analysis | Debugging | DecompilationAnnual raises | Health insurance | Hybrid work schedule | Paid time off | Retirement planSenior-level Full TimeArlington, VA11d 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, VA11d ago
-
Principal Vulnerability Researcher USD 193K-290KBinary Ninja | C# | C++ | Computer forensics | DecompilationDental insurance | Disability insurance | Life insurance | Medical insurance | Paid leaveSenior-level Full TimeLaurel, Maryland11d ago
-
Senior Vulnerability Researcher USD 140K-210KBinary Ninja | C# | C++ | Computer forensics | DebuggingDental insurance | Life and disability insurance | Medical insurance | Onsite support | Onsite workSenior-level Full TimeLaurel, Maryland11d ago
-
Lead Vulnerability Researcher USD 168K-252KBinary Ninja | C# | C++ | Computer Security | Computer forensicsDental insurance | Medical insurance | Mentorship | Onsite work | Paid leaveSenior-level Full TimeLaurel, Maryland11d ago
-
Associate Cyber Applied Research Scientist (AR) USD 68K-135KArtificial Intelligence | C# | C++ | Debugging | Dynamic analysis401k match | Education assistance | Employee assistance program | Flexible spending accounts | HolidaysMid-level Full TimeVirginia, Arlington-VA11d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KAWS | Mechanical theorem proving | Privacy | Program analysis | Programming languageFlexible work hours | Work-life balanceSenior-level Full TimeArlington, Virginia, USA12d ago
-
AWS | Adversarial security | Burp Suite | Debugging | GhidraEquity opportunities | Health and wellness | Occasional travel | Performance bonuses | Remote workSenior-level Full TimeLos Angeles, CA, US15d ago
-
FPGA Security Architect USD 161K-231KCryptography | Design Lifecycle | Development Lifecycle | FPGA | FirmwareSenior-level Full TimeAustin, Texas, United States, United States15d ago
-
C# | Circuit design | Cyber-Physical Systems | Debugging | Digital designEntry-level Full TimeAtlanta, GA16d ago
-
Cryptologic Computer Scientist (Level 1-4) USD 122K-210KAlgorithms | Apache Spark | Computer Architecture | Data Structures | Modeling and Simulation401k match | Education and training support | Paid Dental Insurance | Paid health insurance | Paid life insuranceMid-level Full TimeAnnapolis Junction, MD16d ago
-
Principal Data Scientist USD 139K-304KData Analysis | Data Ethics | Data Management | Data Privacy | Data cleaningSenior-level Full TimeUS; Redmond, WA, US; Mountain View, …17d ago
-
Senior Data Scientist USD 119K-258KData Integrity | Data Management | Data Preparation | Debugging | Machine LearningSenior-level Full TimeUS; Redmond, WA, US; Mountain View, …17d ago
-
Microelectronics Vulnerability Researcher USD 86K-198KAssembly Language | C# | C++ | Cryptography | Embedded SystemsDependent care | Disability insurance | Health benefits | Life insurance | Onsite collaborationMid-level Full TimeUSA, AL, Redstone Arsenal (4200 Rideout …17d ago
-
Principal Data Scientist USD 139K-304KData Analysis | Data Ethics | Data Preparation | Data Privacy | Data ScienceSenior-level Full TimeUS; Redmond, WA, US; Mountain View, …18d ago
-
Malware Research Engineer USD 136K-220KAndroid | Creative Thinking | Cyber Threat | Cyber Threat Intelligence | Dynamic analysis401k matching | Dental insurance | Employee referral bonus | Flexible time off | Medical insuranceSenior-level Full TimeRemote (United States) R19d ago
-
Cryptologic Computer Scientist 2 USD 133K-160KAlgorithms | Cryptology | Data Analysis | Data Structures | MathematicsMid-level Full TimeFt. Meade, MD, US19d ago
-
Applied Scientist USD 84K-180KAgentic Systems | Apache Spark | Azure Machine Learning | CI/CD | Continuous DeliveryEntry-level Full TimeRedmond, WA, US21d ago
-
Senior Applied Scientist USD 119K-258KArtificial Intelligence | Automated Build | Automated build systems | Build systems | C#Flexible work arrangements | Inclusive culture | Professional development opportunitiesSenior-level Full TimeRedmond, WA, US22d ago