Building Scalable Formal Reasoning Solutions
1 week ago
Amazon Web Services, Inc. is the world's most comprehensive and broadly adopted cloud platform.
We pioneered cloud computing and never stopped innovating — that's why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.
We're continuously raising our performance bar as we strive to become Earth's Best Employer.
In this role, you will play a pivotal part in shaping the definition, vision, design, roadmap and development of product features from beginning to end.
You'll define and implement new formal reasoning applications that employ scalable and efficient approaches to solve complex problems using Automated Reasoning and Generative AI technologies.
As a Senior Applied Scientist, you will lead the design and implement scalable systems for formal reasoning and automated theorem proving.
You'll collaborate closely with internal and external users to understand their requirements for formal verification and automated reasoning.
The estimated annual salary for this position ranges from $150,400 in our lowest geographic market up to $260,000 in our highest geographic market.
We value work-life harmony and strive for flexibility as part of our working culture.
About Amazon Web Services
Key Responsibilities
- Lead the design and implement scalable systems for formal reasoning and automated theorem proving.
- Collaborate closely with internal and external users to understand their requirements for formal verification and automated reasoning.
- Enhance and extend the capabilities of formal reasoning systems to meet application-specific demands.
- Proactively identify and explore new opportunities for deploying and leveraging formal reasoning solutions across various domains.
BASIC QUALIFICATIONS - M.S. or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field
Preferred Qualifications
- Ph.D. in Electrical Engineering, Computer Science, Mathematics, or related technical field
- Deep understanding of formal methods, formal verification, solvers, constraint solving, and knowledge representation
About Us
We're a total compensation company. Dependent on the position offered, equity, sign-on payments, and other forms of compensation may be provided as part of a total compensation package, in addition to a full range of medical, financial, and/or other benefits.
-
South Bend, Indiana, United States Amazon Web Services, Inc. Full timeAbout the RoleThe Worldwide Specialist Organization (WWSO) at Amazon Web Services, Inc. is seeking an experienced Solutions Architect to join our team. As a key member of our organization, you will work closely with customers, partners, and internal stakeholders to drive the adoption of Amazon EC2 Compute resources.Key ResponsibilitiesDevelop white papers,...
-
Transportation Solutions Manager
7 days ago
South Bend, Indiana, United States Penske Truck Leasing Co., L.P. Full timeJob Description:The role of a Sales and Operations Management Trainee at Penske Truck Leasing/Transportation Solutions offers a unique opportunity to develop your skills in sales, operations, finance, customer service, technology, and more. As part of our high-energy team, you will learn from the ground up how to run a business and solve problems for our...
-
Aerospace Design Solutions Specialist
3 days ago
South Bend, Indiana, United States Epic Aircraft Full timeJob OverviewEpic Aircraft is a leading manufacturer of high-performance aircraft. We're seeking an experienced Avionics Liaison Engineer to create design solutions for nonconforming electrical parts, assemblies, and systems.Responsibilities:Create design solutions to address build or design errors found during productionRepair solutions will take into...
-
South Bend, Indiana, United States Amazon Data Services, Inc. Full timeAmazon Data Services, Inc. is a leader in cloud infrastructure services, empowering businesses to innovate and thrive in the digital age.OverviewWe're looking for an experienced Technical Lead to join our Core Networking team, responsible for designing and implementing scalable and reliable cloud infrastructure solutions.Key Responsibilities:Collaborate with...
-
Telecommunications Sales Representative
6 days ago
South Bend, Indiana, United States SH Solutions Full timeJob SummaryWe are seeking a highly motivated and results-driven Telecommunications Sales Assistant to join our team at SH Solutions in Bend. As an AT&T Sales Assistant, you will be responsible for providing exceptional customer service, selling telecommunications products and services, and building strong relationships with clients.About UsSH Solutions is a...
-
South Bend, Indiana, United States All Star Healthcare Solutions Full timeWe are seeking a skilled Family or Internal Medicine physician to join our team as Medical Director for Women’s Health in the beautiful state of Oregon. With its stunning natural landscapes and outdoor recreational opportunities, this position offers a unique work-life balance that is hard to find elsewhere.Job SummaryThe successful candidate will be...
-
South Bend, Indiana, United States Td Synnex Full timeAbout the RoleAs a key member of our logistics team, you will play a crucial role in driving cost improvements in our distribution operations through innovative methods, systems, and process enhancements.You will be responsible for providing industrial and process engineering support to our domestic Logistics Centers and Configuration & Integration...
-
HR Leadership Position in Elkhart, IN
7 days ago
South Bend, Indiana, United States Lippert Components Full timeAbout Lippert Components">Lippert is a leading global manufacturer and supplier of highly engineered products and customized solutions dedicated to shaping, growing, and bettering the RV, marine, automotive, commercial vehicle, and building products industries.We combine our strategic manufacturing capabilities with the power of our winning team culture to...
-
Life Insurance Agent Opportunity
3 weeks ago
South Bend, Indiana, United States Brown Agency Full timeLife Insurance Agent OpportunitySymmetry Financial Group, a leading insurance brokerage firm, is seeking a motivated and results-driven Life Insurance Agent to join their team. As a Life Insurance Agent, you will have the opportunity to work remotely and build a successful career in the insurance industry.Key Responsibilities:Sell life insurance policies to...
-
Senior Fencing Professional
7 days ago
South Bend, Indiana, United States Schuell Fence Co Full timeJob DescriptionSchuell Fence, a leading fence fabrication and installation company in South Bend, Indiana, is seeking an experienced Fence Installer.About Schuell Fence CoWe have been serving the area for over 70 years, providing top-notch fencing solutions. Our team is dedicated to delivering exceptional results and building long-lasting relationships with...
-
Career Opportunities in Real Estate Sales
5 days ago
South Bend, Indiana, United States John L. Scott Real Estate Full timeJob DescriptionWe are seeking motivated and customer-focused individuals to join our team as Real Estate Agents. No prior experience is necessary, as we provide comprehensive training and support to ensure your success.About the RoleGuide clients through the buying, selling, and renting process with personalized service.Negotiate offers between buyers and...
-
Medical Director
1 week ago
South Bend, Indiana, United States All Star Healthcare Solutions Full timeExcellence in Concierge MedicineWe are seeking a dedicated Family Medicine Physician or Internal Medicine Physician to join our team as a Medical Director for our concierge medicine practice. Located in the picturesque region of Oregon, near the stunning Deschutes National Forest, this opportunity offers a unique blend of personalized patient care and...
-
Prosperity Partner
1 week ago
South Bend, Indiana, United States Edward Jones Full timeAbout the Role:We are seeking a skilled Financial Advisor to join our team at Edward Jones. As a Financial Advisor, you will be responsible for helping clients achieve their long-term financial goals through personalized strategies and investment solutions.Key Responsibilities:BUILD STRONG RELATIONSHIPS WITH CLIENTS TO UNDERSTAND THEIR FINANCIAL GOALS AND...
-
Regional Lawn Care Sales Consultant
1 week ago
South Bend, Indiana, United States TruGreen Limited Partnership Full timeAbout the RoleWe are seeking a skilled and customer-focused Regional Lawn Care Sales Consultant to join our team at TruGreen. As a key member of our sales team, you will play a critical role in helping new and existing customers find the right lawn care maintenance plans for their properties.What We OfferA competitive estimated salary range of $875 - $1,200...
-
Therapeutic Career Opportunities
3 days ago
South Bend, Indiana, United States OneStaffMedical Full timeWe Are OneStaff Medical, a forward-thinking healthcare staffing firm dedicated to providing personalized solutions for our clients and candidates. Our commitment to excellence has earned us national recognition, and we're proud to be an independently-owned business.A work ethic forged in the Midwest, we strive to build long-lasting relationships with our...
-
Travel Healthcare Professional
1 week ago
South Bend, Indiana, United States ADN Healthcare Full timeADN Healthcare is a leading healthcare staffing solutions provider dedicated to identifying top-notch Medical Surgical Registered Nurses for exciting opportunities nationwide.As an ADN Healthcare candidate, you will have the opportunity to work with leading hospitals and healthcare organizations to deliver world-class care. Our team of experts is passionate...
-
Insurance Career Opportunities
6 days ago
South Bend, Indiana, United States Glen Neely - State Farm Agent Full timeJob OverviewWe are seeking a skilled and customer-focused individual to join our team as an Insurance Agent Team Member.The successful candidate will be responsible for providing exceptional customer service, developing leads, scheduling appointments, and identifying customer needs.This is an excellent opportunity for those looking to build a career in sales...
-
Warehouse Coordinator
4 weeks ago
South Bend, Indiana, United States Advatix Full time{"Role Summary": "Advatix is seeking a skilled Warehouse Associate II to support our rapidly growing team. The ideal candidate will have experience in PC applications and the ability to learn new systems quickly.", "Key Responsibilities": " Assist with line set-up and daily cycle counts to ensure accuracy and efficiency. Utilize technology as required,...
-
Rehabilitation Therapist
7 days ago
South Bend, Indiana, United States ACES Healthcare Staffing Full timeExciting travel healthcare opportunities await you with ACES Healthcare Staffing, a trusted provider of rewarding assignments across various disciplines.We are currently seeking a skilled Travel Occupational Therapist to join our team in the Midwest region. As a valued member of our community, you will have access to highly competitive pay packages and...
-
Tire Operations Specialist
1 week ago
South Bend, Indiana, United States Belle Tire Full timeThe estimated salary for this position is $50,000 - $70,000 per year, based on industry standards and location.About Belle TireBelle Tire is a family-owned company with over 175 retail locations and more than 3,000 employees in Michigan, Indiana, Illinois, and Ohio. We have been serving our community for over 100 years, providing tire and automotive services...