Research Scientist
Tasks
- Collaborate with engineering and product teams to translate research
- Design and execute automated testing
- Design and execute fuzzing strategies
- Develop research artifacts tools or systems
- Drive original research in automated reasoning
- Invent and apply novel AI techniques for code reasoning
- Publish findings in top tier venues
- Stay current in ML program analysis and formal methods
Perks/Benefits
- N/A
Skills/Tech-stack
AI for Code | AI for Code Reasoning | AI for code generation | Automated Reasoning | Automated testing | By Design | Cloud infrastructure | Cloud infrastructure as code | Code generation | Code reasoning | Cybersecurity | Dynamic analysis | Exploit Techniques | Formal Methods | Formal verification | Fuzzing | Infrastructure as Code | Language Processing | Machine Learning | Natural Language | Natural Language Processing | Program analysis | Pulumi | Secure by Design | Static Analysis | Terraform | Vulnerability analysis | “as-code”
Education
Roles
Regions
Countries
States
Related jobs
-
Lead Cyber Risk & Analytics Engineer USD 130K-160KAgile | Data Visualization | Database querying | Econometrics | ExcelDependent care assistance | Flexible hours | Hybrid work | Learning and development | Mentorship programsSenior-level Full TimeNew York Office1d ago
-
Data Scientist (Remote) USD 140K-215KContext Management | DPO | DeepSpeed | Experiment tracking | Experimental DesignEmployee networks | Great Place to Work certification | Paid adoption leave | Paid parental leave | Professional developmentMid-level Full TimeUSA VA Remote, United States R2d ago
-
Senior-level Full TimeFort Meade, MD4d ago
-
Research Data Scientist, Cybersecurity, Google Cloud USD 147K-211KAdversarial Machine Learning | Cybersecurity | Data Pipelines | Fraud Detection | Generative AIMid-level Full TimeSan Francisco, CA, USA; Reston, VA, …4d ago
-
Data Scientist III USD 132K-147KDashboarding | Data Pipeline Monitoring | Data Quality | Data Quality Validation | Data pipelineSenior-level Full TimeLinthicum, MD5d ago
-
Senior Data Scientist USD 152K-205KAI | Calculus | Data Modeling | Data Visualization | Language Models401k match | Comprehensive health and wellness packages | Full-flex work week | Internal mobility | Paid education and certificationsSenior-level Full TimeUSA VA Sterling - 22825 Davis …5d ago
-
Senior-level Full TimeAnnapolis Junction, MD, USA, 207015d ago
-
Data Scientist (DCO) USD 132K-147KAWS | CentOS | Configuration Management | Docker | Jupyter NotebooksSenior-level Full TimeAnnapolis Junction, MD, USA, 207015d ago
-
Data Scientist, Principal (DCO) Senior USD 132K-147KAWS | Anomaly Detection | Configuration Management | Data Pipelines | Data integrationSenior-level Full TimeAnnapolis Junction, MD, USA, 207015d 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
-
Data Scientist Network Analyst USD 99K-225KCyber Operations | DNS | Data Analysis | Data Visualization | Defensive CyberSenior-level Full TimeUSA, MD, Fort Meade (9800 Savage …6d ago
-
Data Scientist/Portfolio Risk Manager USD 74K-138KArtificial Intelligence | Cohort Analysis | Excel | Loss forecasting | Machine LearningAccident and life insurance | Health insurance | Manager support | Retirement savings plans | Training and coachingSenior-level Full Time320Canal, United States6d ago
-
AWS | Amazon EMR | Amazon SageMaker | Apache Hadoop | Apache SparkMid-level Full TimeChantilly, VA6d ago
-
Quantum Frontiers Postdoctoral Scholar USD 61K-89KAI for Cybersecurity | Critical Infrastructure | Critical infrastructure security | Cryptography | CybersecurityMedical insurance | Standard university benefitsMid-level Full TimePenn State University Park, United States7d ago
-
Data Scientist SME AI/ML USD 154K-278KAPI Integration | Air-gapped | Air-gapped environments | AutoGPT | BashClearance TS SCI with CI PolySenior-level Full Time2586 Fort Meade MD, United States8d ago
-
Sr. Exploitation Specialist/Data Scientist (TS/SCI) USD 78K-163KAPIs | ArcGIS Pro | Arcpy | Artificial Intelligence | Bokeh401k match | Disability insurance | Life insurance | Medical, dental, and vision insurance | On-site workSenior-level Full TimeSneads Ferry, NC, United States8d ago
-
Sr. Exploitation Specialist/Data Scientist (TS/SCI) USD 78K-165KArcGIS Desktop | ArcGIS Online | ArcGIS Pro | ArcGIS Server | ArcObjects401k match | Dental insurance | Disability insurance | Health insurance | Life insuranceSenior-level Full TimeSpringfield, VA, United States8d ago
-
Sr. Exploitation Specialist/Data Scientist (TS/SCI) USD 78K-165KAI modeling | ArcGIS Desktop | ArcGIS Online | ArcGIS Pro | ArcGIS Server401k match | Dental insurance | Disability insurance | Health insurance | Life insuranceSenior-level Full TimeSt. Louis, MO, United States8d ago
-
Computer Scientist, Lead Associate USD 112K-179KArtificial Intelligence | Data Compression | Data Engineering | Data Mining | Data ProtectionTravel requiredSenior-level Full TimeWashington, DC, United States8d ago
-
Data Scientist ID71658 USD 145K-190KData Visualization | Machine Learning | PyTorch | Python | REducation budget | Fitness budget | Flexible schedule | Mentorship | Professional growthSenior-level Full TimePort Charlotte, United States12d ago
-
Data Scientist ID71658 USD 145K-190KData Visualization | Machine Learning | PyTorch | Python | RFlexible schedule | Professional growth | Remote work optionsSenior-level Full TimeBoca Raton, United States12d ago
-
Data Scientist ID71658 USD 145K-190KCloud Security | Cloud Security Posture | Cloud Security Posture Management | Cybersecurity | Data VisualizationFlexible schedule | Mentorship | Personalized growth roadmaps | Professional growth | Remote and office optionsSenior-level Full TimeWest Palm Beach, United States12d ago
-
Data Scientist ID71658 USD 145K-190KCybersecurity | Data Visualization | Machine Learning | PyTorch | PythonEducation budget | Fitness budget | Flextime | Mentorship | Personalized growth roadmapSenior-level Full TimeTampa, United States12d ago
-
Data Scientist ID71658 USD 145K-190KData Visualization | Machine Learning | PyTorch | Python | REducation budget | Fitness budget | Flexible schedule | Mentorship | Office optionsSenior-level Full TimeJacksonville, United States12d ago