Principal Applied Scientist, Automated Reasoning
Tasks
- Collaborate with product teams
- Define technical strategy
- Design algorithms for formal verification
- Drive technical leadership
- Lead research in automated reasoning
- Mentor scientists and engineers
- Represent organization in research community
Perks/Benefits
- N/A
Skills/Tech-stack
Algorithm Design | Automated Reasoning | Formal verification | Model Checking | Program analysis | Research Leadership | SMT solving
Education
Related jobs
-
Data Scientist III USD 140K-190KAlgorithm Design | Biostatistics | Machine Learning | PySpark | PythonDental insurance | Flexible time off | Health insurance | Performance bonuses | Retirement planSenior-level Full TimeUnited States R3d ago
-
Applied Scientist - Automated Reasoning USD 200K-250KAutomated Reasoning | Cryptol | Formal Methods | Formal verification | KaniImpactful work | Opportunities for growth | Professional development | Team collaborationSenior-level Full TimeArlington, VA, United States4d ago
-
Senior Applied Scientist, Leo Network Observability USD 167K-226KAlgorithm Design | Cloud Computing | Data Structures | Machine Learning | Network VirtualizationSenior-level Full TimeRedmond, Washington, USA4d ago
-
Robotics Scientist USD 120K-150KAlgorithm Design | C# | C++ | Computer Vision | Extrinsic calibration401k match | Catered lunches | Dental insurance | Gym access | Health insuranceSenior-level Full TimeDurham, NC9d ago
-
Applied Scientist II USD 103K-189KAWS | Algorithm Design | Data Analysis | Data Processing | Data QualityDisability coverage | Healthcare | Life insurance | Paid Holidays | Parental leaveEntry-level Full TimeIrvine16d ago
-
Research Scientist USD 210K-240KAI | Algorithm Design | Artificial Intelligence | C++ | Computer VisionSenior-level Full TimeNew York, NY17d ago