Applied Scientist, Automated Reasoning, EC2
Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems?
Do you want to create products that reduce complexity for customers, increase customer security posture, and are provably correct?
If so, then we have an exciting opportunity for you to leverage Automated Reasoning techniques across EC2 and EC2 Networking.
In this role, you will interact with internal teams and external customers to understand their networking requirements. You will apply your knowledge to propose solutions, create software prototypes, and productize prototypes into production systems using software development tools and methodologies.
In addition, you will support and scale your solutions to meet the ever growing demand of customer use. You will interact with the broader academic community, and have the opportunity to publish your work.
Inclusive Team Culture
Here at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally.
We have innovative benefit offerings, and host annual and ongoing learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences.
Amazon’s culture of inclusion is reinforced within our 16 Leadership Principles, which remind team members to seek diverse perspectives, learn and be curious, and earn trust.
Work / Life Balance
Our team puts a high value on work-life balance. It isn’t about how many hours you spend at home or at work; it’s about the flow you establish that brings energy to both parts of your life.
We believe striking the right balance between your personal and professional life is critical to life-long happiness and fulfillment.
We offer flexibility in working hours and encourage you to find your own balance between your work and personal lives.
This position involves some on-call responsibilities, typically for one week every two months. We work to ensure we don’t get paged for the same issue twice and that you have time to recover if you are paged at an odd hour.
Mentorship & Career Growth
Our team is dedicated to supporting new members. We have a broad mix of experience levels and tenures, and we’re building an environment that celebrates knowledge sharing and mentorship.
Our senior members enjoy one-on-one mentoring and thorough, but kind, code reviews. We care about your career growth and strive to assign projects based on what will help each team member develop into a better-rounded engineer and enable them to take on more complex tasks in the future.
We are open to hiring candidates to work out of one of the following locations :
Minneapolis, MN, USA Portland, OR, USA
BASIC QUALIFICATIONS
Knowledge of programming languages such as C / C++, Python, Java or Perl
PREFERRED QUALIFICATIONS
- Experience with networking.
- Experience with SMT.
Applied Scientist, Automated Reasoning, EC2
Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that reduce complexity for customers, increase customer security posture, and are provably correct? If so, then we have an exciting ...
Applied Scientist II, Automated Reasoning in Identity
Are you passionate about applying automated reasoning and program analysis to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. We’re looking for an Applied Scientist to help strengthen our customers' security with automatio...
R&D Data Science Project Manager
The R&D Data Science Project Manager (PM) will primarily support two types of projects within the Center for Learning Health System Sciences' (CLHSS): 1) service requests (typically smaller projects) and 2) grant funded research (typically larger projects). R&D Data Science Project Manager. The PM w...
(REMOTE) Senior Data Scientist - Deep Learning Analytics CoE
The Deep Learning Analytics Center of Excellence (DLACoE) at General Dynamics Mission Systems is actively seeking a seasoned data scientist with a robust background in Deep Learning (DL), advanced data visualization, software development, and full Machine Learning (ML) life cycle management. Leading...
Product Support Engineer- Aircraft Data Services
Our adaptable suite of products include Data Acquisition & Management Systems, Wireless Data Transfer Systems, Flight Data Analysis & Investigation Solutions, Data Loading Solutions, Aircraft Network Systems. Combined together, these products provide comprehensive data management solutions that leve...
Clinical Research Associate I (Trial Monitor)
This position supports the CIBMTR CRO Services team by supporting the management of one or more multi-center clinical research studies. REQUIRED QUALIFICATIONS:Knowledge of:Clinical research study processes, study design, and protocol management. Navigate processes and people involved in clinical re...
AI Research Scientist Internship - Trusted Media Intern
Geometric, Generative, and Good AI Team in Intelligent Systems Research Lab, Intel Labs conducts inter-disciplinary research for unraveling AI for humans to amplify human potential in physical and digital worlds, by creating trustworthy AI systems; AI-ficiation of complex problems; and reconstructin...
Data Scientist
The Data Scientist helps collect and analyze data that allows IWCO to create winning strategies for our customers. Outline and define appropriate analytic approach for various client needs including pre/post campaign analysis, measuring and analyzing response to marketing offers and recommending app...
Associate Software Engineer - Hub Platform (Minneapolis, MN)
We’re looking for an Associate Software Engineer who’ll be responsible for the development of software for the adoption and integration of smart home networking protocols like Matter for the SmartThings Hub platform. In this role, you’ll be part of the SmartThings Hub Platform team...
Product- Data Analyst- Remote (Contract and Full Time)
Cielo has partnered with Cornerstone Building Brands to hire 4 Product- Data Analysts for an 18-month contract and 1 full-time, permanent. Work as the liaison between Engineering, technology and procurement teams on development and optimization of product data across multiple systems / processes wit...