Find jobs in AI/ML, Data Science and Big Data
21 results
for Programming language
(Skill/Tech stack)
-
Research Engineer, Machine Learning USD 120K-180KAutomatic Differentiation | C++ | Causal Inference | Deep learning | Distributed TrainingFlexible working hours | In-person collaboration | Multi-day in-person eventsSenior-level Full TimeNew York Office4d ago
-
Sr Product Manager - Data Science USD 92K-167KData Analysis | Data Visualization | Distributed Computing | Healthcare | Hive401k savings plan | Annual incentive bonus plan | Disability insurance | Employee assistance program | Paid HolidaysSenior-level Full TimeChicago Illinois HQ (300 E. Randolph …12d ago
-
Cryptologic Computer Scientist 4 USD 135K-216KAlgorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | Cryptography401k match | Accident insurance | Bereavement leave | Critical illness insurance | Flexible spending planSenior-level Full TimeFort Meade, MD16d 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
-
Cryptologic Computer Scientist USD 86K-151KAlgorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | CryptographyCareer counseling | Education and Training | Full health premium coverage | Paid retirement contributions | Paid time offMid-level Full TimeFort Meade, MD21d ago
-
Cryptologic Computer Scientist-2 USD 87K-157KAlgorithm Analysis | Algorithm Design | Attack attribution | Compiler Theory | Computational Science401k match | Discounted stock purchase plan | Education and training support | Flexible schedules | Paid HolidaysMid-level Full Time3325 Fort George G. Meade MD, …24d ago
-
Staff Quantum Algorithm Theorist USD 190K-290KComplexity Theory | Computational Complexity | Computational Complexity Theory | Error correction | Fault-tolerant401k plan | Dental coverage | Healthcare benefits | Life insurance | Mental health supportSenior-level Full TimeCambridge, US24d ago
-
Senior-level Full TimeLocation(s): Mississauga, Ontario, Canada27d ago
-
Cryptologic Computer Scientist 3 USD 133K-148KAlgorithm Analysis | Apache Spark | Cloud technologies | Compiler Theory | Computer ArchitectureHybrid workMid-level Full TimeAnnapolis Junction, MD, USA, 207011mo ago
-
Cryptologic Computer Scientist USD 100K-185KAlgorithm Analysis | Apache Spark | Compiler Theory | Computational Science | Computer ArchitectureSenior-level Full TimeAnnapolis Junction, MD, Laurel, MD1mo ago
-
Field Engineer, SWAT USD 180K-210KAnsible | Apache Airflow | Automation | Cloud Native | Cloud Native DataSenior-level Full TimeNew York City1mo ago
-
Cryptologic Computer Scientist 3 USD 133K-148KAlgorithm Analysis | Attack attribution | Compiler Theory | Computer Architecture | Data StructuresMid-level Full TimeAnnapolis Junction, MD, USA, 207011mo 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