Find jobs in AI/ML, Data Science and Big Data
26 results
for Type Systems
(Skill/Tech stack)
-
Senior Data Scientist – MMM ID71005 BRL 271K-370KAWS Athena | Bash | Bayesian Inference | Data Validation | DockerAnnual learning budget | Flexible hours | Internal TechTalks | Mentorship | People focused supportSenior-level Full TimeRecife, Brazil R3d ago
-
Senior Data Scientist – MMM ID71005 COP 84000K-102180KAWS Athena | Attribution Modeling | Bash | Bayesian Inference | DockerAnnual learning budget | Collaborative culture | Flexible hours | Internal TechTalks | MentorshipSenior-level Full TimePereira, Colombia R3d ago
-
Senior Data Scientist – MMM ID71005 USD 140K-180KAWS Athena | Ads API | Advertising API | Amazon Advertising | Amazon Advertising APIAnnual learning budget | Competitive compensation | Flexible hours | Internal TechTalks | MentorshipSenior-level Full TimeMAR DEL PLATA, Argentina R3d ago
-
Senior Data Scientist – MMM ID71005 BRL 271K-370KAWS Athena | Attribution Modeling | Bash | Bayesian Inference | DockerChallenging projects | Flexible hours | Internal TechTalks | Learning budget | MentorshipSenior-level Full TimePorto Alegre, Brazil R3d ago
-
Senior Data Scientist – MMM ID71005 BRL 271K-370KAWS Athena | Bash | Bayesian Inference | Docker | KubernetesAnnual learning budget | Flexible hours | Mentorship | Performance reviews | Remote workSenior-level Full TimeSão Paulo, Brazil R3d ago
-
Senior Data Scientist – MMM ID71005 MXN 934K-1200KAWS Athena | Attribution Modeling | Bash | Bayesian Inference | DockerAnnual learning budget | Collaborative culture | Flexible hours | Mentorship | No micromanagementSenior-level Full TimeMonterrey, Mexico R3d ago
-
Senior Data Scientist – MMM ID71005 MXN 934K-1200KAWS Athena | Bash | Bayesian Inference | Docker | KubernetesAnnual learning budget | Challenging projects | Collaborative culture | Flexible hours | MentorshipSenior-level Full TimeZapopan, Mexico R3d ago
-
Senior Data Scientist – MMM ID71005 BRL 271K-370KAWS Athena | Bash | Bayesian Inference | Client Isolated Experimentation | Data Transformation100 percent remote work | Annual learning budget | Flexible hours | Mentorship | People focused supportSenior-level Full TimeBelo Horizonte, Brazil R3d ago
-
Senior Data Scientist – MMM ID71005 USD 140K-180KAWS Athena | Bash | Bayesian Inference | Containerization | Data TransformationAnnual learning budget | Challenging projects | Flexible hours | Internal TechTalks | MentorshipSenior-level Full TimeZONA 1, Guatemala R3d ago
-
Senior Data Scientist – MMM ID71005 MXN 789K-1100KAWS Athena | Attribution Modeling | Bash | Bayesian Inference | Data schemasAnnual learning budget | Collaborative culture | Flexible hours | Internal TechTalks | MentorshipSenior-level Full TimeQuerétaro, Mexico R3d ago
-
Senior Data Scientist – MMM ID71005 COP 84000K-102180KAWS Athena | Bash | Bayesian Inference | Docker | KubernetesAnnual learning budget | Collaborative culture | Flexible hours | Internal TechTalks | MentorshipSenior-level Full TimeManizales, Colombia R3d ago
-
61131-3 | C# | C++ | Cloud Integration | ConcurrencyCareer growth opportunities | Flexible work arrangements | Inclusive culture | Mentorship | Work-life balanceSenior-level Full TimeLondon, England, GBR4d ago
-
R&D Manager - Software -914 GBP 50K-60KArchitecture | Code review | Compiler development | Distributed Teams | Execution ToolingAdoption benefits | Enhanced parental benefits | Flexible working | Paid holiday | Workplace pensionMid-level Full TimeUK Cambridge9d ago
-
61131-3 | Concurrency | DDS | Distributed Systems | Embedded SystemsFlexible working hours | Inclusive culture | Mentorship and career growth | Work-life balanceSenior-level Full TimeLondon, England, GBR12d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hoursSenior-level Full TimeSeattle, Washington, USA17d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-248KDafny | Haskell | Kotlin | Lean | Mechanical theorem provingFlexible work hours | Paid time off | Parental leave | Work-life balanceSenior-level Full TimeSeattle, Washington, USA18d ago
-
Applied Scientist, AWS Science of Security USD 142K-223KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SAT401k matching | Adoption reimbursement | Dental insurance | EAP | Flexible spending accountsMid-level Full TimeSeattle, Washington, USA18d ago
-
Principal Compiler Engineer – Quantum Software - 880 JPY 8000K-10473KCircuit compilation | Code generation | Compiler design | Correctness | Distributed SystemsSenior-level Full TimeJapan Tokyo25d ago
-
Postdoc Positions in Computer Science (Formal Methods) DKK 433K-433KComputational Complexity | Distributed Systems | Formal Methods | Logic | Programming LanguagesMentoring | Professional development opportunities | Research collaboration opportunitiesEntry-level Full TimeOdense M, Denmark1mo ago
-
Abstract interpretation | Application Security | Automated Reasoning | Compositional heap analysis | Coq401k matching | Flexible work hours | Paid time off | Parental leaveSenior-level Full TimeNew York, New York, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAWS | Automated Reasoning | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeAustin, Texas, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA1mo ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hours | Mentorship | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Cloud | Privacy | Program analysis | Programming languageCareer growth opportunities | Flexible work hours | Learning and training resources | Mentoring | Work-life harmonyMid-level Full TimeBoston, Massachusetts, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and development resources | Mentoring | Work-life balanceMid-level Full TimeAustin, Texas, USA1mo ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-222KAutomated Reasoning | Mechanical theorem proving | Privacy | Problem Solving | Program analysisFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA1mo ago