Find jobs in AI/ML, Data Science and Big Data
7 results
for Type Systems
(Skill/Tech stack)
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and training resources | Work-life balanceMid-level Full TimeSeattle, Washington, USA6d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KApplied Research | Automated Reasoning | Privacy | Program analysis | Programming languageFlexible work hours | Mentoring | Training and career growth | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA6d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsCareer growth and training | Flexible work hours | MentorshipSenior-level Full TimeSeattle, Washington, USA6d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA6d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATDEI Events | Flexible work hours | Learning and career growth resources | Mentoring and knowledge sharing | Work-life balanceMid-level Full TimeAustin, Texas, USA6d ago
-
Senior Software Engineer, Semantic Layer INR 3000K-4000KBackwards Compatibility | CI/CD | DSL | GitHub Actions | Modular ArchitectureSenior-level Full TimeIndia - Remote R7d ago
-
Senior Deep Learning Compiler Verification Engineer USD 140K-224KC++ | Formal verification | Graph optimization | IR lowering | JAXComprehensive benefits package | EquitySenior-level Full TimeUS, CA, Santa Clara, United States14d ago