Sr. Applied Scientist, Cedar Authorization
Tasks
- Advance formal verification and analysis capabilities
- Build tools for policy problem finding
- Contribute to open source codebase as maintainer
- Create and integrate software prototypes into production systems
- Drive Cedar integration into cloud native authorization environments
- Mentor and train research scientists
- Represent Cedar and AWS at technical conferences
- Use SAT SMT for authorization policy analysis
Perks/Benefits
Skills/Tech-stack
C++ | Cedar | Constraint Solving | Formal verification | Go | Java | Kubernetes | Policy validation | Programming Languages | Python | Rust | SAT | SMT | Theorem Proving
Education
Roles
Applied Scientist | Engineer | Scientist | Software Engineer
Related jobs
-
Featured Feat. Software Engineer USD 40K-150K.NET | APIs | AWS | Angular | AzureContractor hours flexibility | Remote workMid-level ContractRemote R3d ago
-
Featured Feat. Senior Software Engineer USD 80K-170KAlgorithms | C++ | Data Structures | Go | JavaContractor flexibility | Remote workSenior-level ContractRemote R3d ago
-
Data Engineer-Secret Clearance Required USD 100K-127KAWS | AWS Glue | AWS Redshift | Azure | Azure Data401k match | Bereavement leave | Disability insurance | Employee assistance program | Employee discount programSenior-level Full TimeRemote - Nationwide, United States R11h ago
-
Data Engineer - Costa Rica USD 100K-120KAWS | Azure | Cloud Computing | Data Lake | Data WarehouseDental insurance | Disability insurance | Employee assistance program | Employee discount program | Health insuranceMid-level Full TimeCosta Rica R11h ago
-
Data Scientist-Costa Rica USD 91K-111KCUDA | Convolutional Neural Networks | Data Transformation | Deep learning | Deep reinforcement learningBereavement | Dental coverage | Disability insurance | Employee assistance program | Employee discount programMid-level Full TimeCosta Rica R11h ago
-
Lead Fraud Data Scientist USD 164K-230KA/B | A/B Testing | AWS | Azure | B testingDental insurance | Health insurance | Hybrid work option | Performance bonus | Remote workSenior-level Full TimeNew York, San Francisco, Miami R12h ago
-
Data Engineer USD 115K-162KAWS | Apache Spark | Azure | Cloud platform | Data VisualizationRemote workMid-level Full TimeRemote R14h ago
-
AI Developer USD 140K-170KAPI Development | Algorithms | Amazon Web Services | Azure | CI/CDAdvanced English communication support | Remote positionMid-level Full TimeRemote R14h ago
-
Agile | Artificial Intelligence | Generative AI | Microsoft Fabric | PythonCSE | Career opportunities | Citizenship engagement platform | Health insurance | Meal vouchersEntry-level Apprenticeship Full TimeAubière, Auvergne-Rhône-Alpes, France R15h ago
-
Data Scientist GenAI USD 111K-123KApache Spark | Cloud Computing | Data Analysis | Data Processing | Data cleaningComprehensive healthcare | Fully remote | International projects | Long-term contract | Multinational environmentMid-level Full TimeRemote R15h ago
-
Cloud Engineer USD 128K-298KAWS | Active Directory | Azure DevOps | Azure Machine Learning | Azure OpenAISenior-level Full TimeFlexible Hybrid R15h ago
-
Senior Specialist - Data Science USD 85K-150KAWS | Backtesting | Business Intelligence | Code Reviews | Data AnalysisSenior-level Full Time2911 Lake Vista Drive, TX, 500 … R15h ago
-
Sr. AI Engineer USD 150K-175KAccess Control | Agentic AI | Auditability | CI/CD | Cloud platform401k | Dental insurance | Expense reimbursement for internet costs | Life insurance | Medical insuranceSenior-level Full TimeRemote, USA, United States R16h ago
-
SQL,GCP/Consultant Specialist INR 500K-1500KAWS | Agile Scrum | Backup and Recovery | Cloud Computing | Cloud Platform (GCPMid-level Full TimePune, Maharashtra, India R17h ago
-
Data Scientist H/F EUR 15K-21KAWS Bedrock | Agentic AI | Continuous Deployment | Continuous integration | DataikuEntry-level InternshipEurope, France, Ile-de-France, 92 - Hauts-De-Seine R18h ago
-
Senior Data Engineer GBP 72K-80KAWS | AWS Glue | AWS Lambda | Amazon Athena | Amazon KinesisCareer progression | Flexible work-life balance | Inclusive culture | Open holiday policy | Professional developmentSenior-level Full TimeHanoi, Vietnam R18h ago
-
Manager , Data and Analytics INR 800K-2000KAWS Redshift | Agile | Azure | BigQuery | Cloud analyticsMid-level Full TimeBangalore, Karnataka, India R19h ago
-
Principal Software Engineer- Embedded Software Design JPY 3876K-8640KAgile | Android | Automotive SPICE | C++ | C++14Hybrid work model | Mentoring opportunities | Remote work 2 days per weekSenior-level Full TimeKodaira, Japan R22h ago
-
Mid-level Full TimeBangalore, India Office (BANGALORE) R22h ago
-
Senior Software Developer (C++) - StorageGrid INR 2000K-3500KAWS S3 | Agile | C++ | CQL | CassandraSenior-level Full TimeBangalore, India Office (BANGALORE) R22h ago
-
Senior Software Engineer (RAG Backend Developer) CNY 120K-180KA/B | A/B Testing | ABAC | Audit Logging | B testingSenior-level Full TimeGuangzhou, Guangdong, China R1d ago
-
Sr. AI Engineer - 2.00 pm to 11.00 pm IST (Remote, IND) INR 2475K-3584KAWS Bedrock | Agentic AI | Apex | Autogen | CI/CDEmployee networks | Paid adoption leave | Paid parental leave | Paid vacation and holidays | Professional development opportunitiesSenior-level Full TimeIND MH Remote, India R1d ago
-
MLOps Engineer GBP 76K-100KAirflow | Automated retraining | Autoscaling | BigQuery | Blue-Green DeploymentDiscounts | Enhanced parental leave | Holiday allowance | Learning and development programme | Life insuranceSenior-level Full TimeUnited Kingdom - Remote R1d ago
-
Senior Manager, Data Scientist (AI/ML & GenAI) INR 2500K-5000KAI Services | API Development | Agentic AI | Azure AI | Azure AI ServicesSenior-level Full TimeIN - Hyderabad, India R1d ago
-
Edge AI Engineer USD 100K-150KBenchmarking | Bias Evaluation | C++ | Core ML | Data PrivacyCareer growth | Health benefits | Remote workSenior-level Full TimeUnited States - Remote R1d ago