- Amazon (Seattle, WA)
- …relocate to where the internship is based - Experience programming or scripting language like Python, Java , C or C +- Experience with one or more of the ... following: Theorem Proving, Boolean Satisfiability Solvers, Bounded Model Checking, Deductive Verification, Programming/Scripting Languages, Abstract Interpretation, Automated Reasoning, Static/Program Analysis, Program Synthesis Preferred Qualifications -… more
- Amazon (Seattle, WA)
- …and services - 2+ years of scripting or programming experience in Ruby, Python, Shell/BASH scripting, Java , C / C ++, C *, Perl, or other languages - 2+ ... years of experience in one or more of the following areas: cryptography, web and network protocols, data structures and algorithms, software development, threat modeling, pen tests, or vulnerability assessments Preferred Qualifications - Understanding of cloud… more
- Amazon (Seattle, WA)
- …CS, CE, ML or related field experience - Experience programming or scripting language like Python, Java , C or C +- Experience in any of the following areas: ... algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing - Experience in patents or publications at top-tier peer-reviewed conferences or journals Preferred Qualifications -… more
- Amazon (Seattle, WA)
- …software applications, tools, systems and services using object-oriented design, distributed programming, Java and C / C ++. Gather business and functional ... using: (i.) Object Oriented Design, (ii.) distributed programming, and (iii.) C #, C ++, or Java . Amazon.com is an Equal Opportunity-Affirmative Action… more
- Microsoft Corporation (Redmond, WA)
- …AND 2+ years technical engineering experience with coding in languages including, but not limited to, C , C ++, C #, Java , JavaScript, or Python + OR ... equivalent experience. + Experience with cloud-scale services or CI/CD systems. **Other Requirements:** Ability to meet Microsoft, customer and/or government security screening requirements are required for this role. These requirements include, but are not… more
- Microsoft Corporation (Redmond, WA)
- …AND 6+ years technical engineering experience with coding in languages including, but not limited to, C , C ++, C #, Java , JavaScript, or Python + OR ... equivalent experience. + 5+ years experience developing real-time, high-availability, low latency systems and distributed services **Other Requirements:** + Ability to meet Microsoft, customer and/or government security screening requirements are required for… more
- Microsoft Corporation (Redmond, WA)
- …AND 4+ years technical engineering experience with coding in languages including, but not limited to, C , C ++, C #, Java , JavaScript, or Python + OR ... equivalent experience. + 2+ years' experience with generative AI. **Other Requirements:** + Ability to meet Microsoft, customer and/or government security screening requirements are required for this role. These requirements include but are not limited to the… more
- Microsoft Corporation (Redmond, WA)
- …AND 2+ years technical engineering experience with coding in languages including, but not limited to, C , C ++, C #, Java , JavaScript, or Python + OR ... equivalent experience. + 2+ years' experience using a major Cloud Platform (example: Azure) and related technologies (CosmosDB, Azure SQL, Virtual Machines). **Other Requirements:** + Ability to meet Microsoft, customer and/or government security screening… more
- Microsoft Corporation (Redmond, WA)
- …AND 4+ years technical engineering experience with coding in languages including, but not limited to, C , C ++, C #, Java , JavaScript, or Python + OR ... equivalent experience. + 1+ years of experience with clustering technology. **Other Requirements:** + Ability to meet Microsoft, customer and/or government security screening requirements are required for this role. These requirements include, but are not… more
- Amazon (Seattle, WA)
- …CS, CE, ML or related field experience - Knowledge of programming languages such as C / C ++, Python, Java or Perl - Experience building machine learning models ... or developing algorithms for business application - Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing Preferred Qualifications… more