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. AI Engineer (MTS) USD 160K-300KAPI Development | AWS | Amazon Web Services | Deep learning | FastAPIMentoring | Open source contributions | Remote workMid-levelRemote R12d ago
-
Featured Feat. Data Engineer USD 80K-150KData Monitoring | Data Quality | Data Validation | ELT | ETLRemote workEntry-levelRemote R12d ago
-
Data Engineering Analyst Lead/Scientist - Remote USD 90K-150KAWS | Data Compliance | Data Engineering | Data Privacy | PythonSenior-level Full TimeUnited States, UNITED STATES, United States R8h ago
-
Mid-level Full Time北京 R9h ago
-
Data Scientist, Modeler USD 100K-135KA/B | A/B Testing | API Integration | B testing | BigQuery401k match | 7 24 physician consultations | Dental insurance | Employee community groups | Employee mentorship programMid-level Full TimeLos Angeles, CA, United States R12h ago
-
Senior AI Engineer GBP 75K-75KAWS | Agent systems | Artificial Intelligence | Azure | CI/CDAnnual bonus | Discounted gym membership | Electric vehicle leasing | Experience days | Hybrid workSenior-level Full TimeLondon, United Kingdom R12h ago
-
Mid-Level Data Engineer USD 90K-98KAPI Development | Azure Data | Azure Data Factory | Azure Data Lake | Azure Data Lake StorageRemote workMid-level Full TimeWork from home, VA, United States R12h ago
-
Senior Data Engineer USD 165K-180KAPIs | Anomaly Detection | Azure | Azure Data | Azure Data FactorySenior-level Full TimeWork from home, VA, United States R12h ago
-
Applied AI Analytics Lead 14 Months FTC GBP 70K-90KAzure Foundry | Copilot Studio | DBT | Data Modeling | Microsoft FabricHybrid work modelSenior-level ContractLondon, England, United Kingdom R13h ago
-
AWS Glue | AWS Lambda | Airflow | Amazon S3 | AzureRemote workSenior-level Full TimeRemote R14h ago
-
Data Engineer (MS) (Remote) INR 2040K-3380KCI/CD | Data Transformation | Data Validation | Date normalization | ETLMentorship opportunities | Professional growth | Remote workSenior-level Full TimeMaharashtra, Pune, India R14h ago
-
AI / LLM Integration Engineer (Remote) INR 1800K-2800KAPI Integration | Anthropic SDK | Async APIs | Benchmarking | Confidence scoring100 percent remote | Collaborative culture | Inclusive team culture | Professional growthMid-level Full TimeMaharashtra, Pune, India R14h ago
-
Data Engineer - Transport - Nantes EUR 47K-55KAnsible | Apache Airflow | Apache Hadoop | Apache Hive | Apache KafkaCooptation bonus | Employee profit-sharing | Employee representative council | Health insurance | Meal vouchersSenior-level Full TimeNantes, Pays de la Loire, France R14h ago
-
ML / LLM Engineer (Remote) INR 2500K-3000KAmazon Web Services | Azure | Classification | Feature Engineering | Language ModelsRemote workMid-level Full TimeMaharashtra, Pune, India R14h ago
-
Cloud Data Engineer - Lead Consultant EUR 49K-70KCloud platform | Google Cloud | Google Cloud Platform | Python | SQLContinuous training and development | Hybrid work | Remote work 4 weeks per year | Team-building activities | Work with leading technology companiesSenior-level Full TimeAmsterdam, NH, Netherlands R14h ago
-
Evergreen - Mathematics for Machine Learning USD 80K-300KAutodiff | JAX | Linear Algebra | Machine Learning | Matrix OperationsPart-time workMid-level Full TimeRemote, Remote, BR R15h ago
-
Communication | Data Science | Data analytics | Power BI | Problem Solving401k matching | Adoption Assistance | Caregiver leave | Dental insurance | Employee assistance programEntry-level Full Time2911 Lake Vista Drive, TX, 500 … R15h ago
-
C++ | Cloud platform | Data Pipelines | ETL | Google CloudCDI | Career growth opportunities | Flexible work environment | Telework 1 day per weekSenior-level Full TimeCastelnaudary, France R16h ago
-
Maitrise Ouvrage/Support Booking & Risk H/F EUR 21K-21KOffice 365 | Python | SQLAgile team environment | Career coaching | HR support | Modern campus services | Remote work opportunityEntry-level Full TimeEurope, France, Ile-de-France, 92 - Hauts-De-Seine R18h ago
-
Data Scientist Confirmé - H/F EUR 22K-22KAgile | Databricks | GitLab | PySpark | PythonEmployee benefits | Health insurance | Meal vouchers | Telecommuting | Training opportunitiesMid-level Full TimeLesquin, Hauts-de-France, France R20h ago
-
Data Scientist H/F EUR 35K-35KAI Foundry | AI Search | Azure AI | Azure AI Foundry | Azure AI Search13th month pay | Performance bonus | Profit sharing | Telework 2 days per weekSenior-level Full TimeChâtillon, IDF, France R21h ago
-
Anthropic Claude | Async Programming | ChatGPT | Claude Code | CodexDirect user impact | Flexible work schedule | Occasional international travel | Work from home optionMid-level Full TimeSlovenia / Remote R21h ago
-
Data Operations Engineer INR 2040K-3380KApache Airflow | Data Pipelines | Data Refresh | Data Warehousing | Data pipelineEmergency incident response support | On-call rotationSenior-level Full TimeBengaluru, INDIA, India R22h ago
-
APIs | Anomaly Detection | Data Modeling | Data Pipelines | Docker100% remote work | Career growth opportunities | Flexible work environmentMid-level Full TimeEstonia R23h ago
-
APIs | Anomaly Detection | Data Modeling | Data Pipelines | Docker100 percent remote work | Autonomous work environment | Career growth | Flexible work environment | International team cultureMid-level Full TimeHungary R23h ago