Principal AI Researcher, Automated Reasoning Group

1 day ago


Portland, Oregon, United States Amazon Full time

About the Role: We are looking for a highly skilled Principal Applied Scientist to join our team. As a key member of our group, you will work closely with internal and external users to understand their requirements for formal verification and automated reasoning.

\

Key Responsibilities:

\
  • \
  • Lead the design and implement scalable systems for formal reasoning.\
  • 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.\
  • Apply software engineering best practices to ensure a high standard of quality for all team deliverables.\
  • Work in an agile, startup-like development environment, where you are always working on the most important stuff.\
  • Deliver high-quality scientific artifacts.\
  • Work with the team to lower the barrier of adoption for automated reasoning tools.\
  • Work with the team to help drive business decisions.
\

Requirements: A Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or a related technical field, at least 7 years of industrial/academic experience in interactive theorem proving and/or automated reasoning, and experience with programming languages such as Rust, Python, C/C++, and open-source technologies are mandatory.



  • Portland, Oregon, United States Amazon Full time

    Company Overview: Amazon is a world-leading cloud provider with the most services and features within those services. Our Automated Reasoning Group is seeking an experienced Principal Applied Scientist to contribute to building scalable formal reasoning solutions.\Job Description: As a Principal Applied Scientist in AWS AI, you will play a pivotal role in...


  • Portland, Oregon, United States Amazon Full time

    About Us: Amazon is committed to a diverse and inclusive workplace. We offer a range of benefits, including competitive salaries, comprehensive health insurance, and opportunities for professional growth and development. If you are passionate about working with cutting-edge technologies and contributing to innovative projects, we encourage you to...


  • Portland, Oregon, United States Data Annotation Full time

    Converse with AI and Unlock a Flexible CareerData Annotation is a pioneering company dedicated to creating exceptional AI. As our Content Writer and Copy Editor, you will play a vital role in training AI chatbots, leveraging the flexibility of remote work and selecting your own schedule.We are seeking an accomplished professional with excellent writing and...


  • Portland, Oregon, United States StrongBox Data Solutions Full time

    Job OverviewAs a QA Automation Engineer at StrongBox Data Solutions, you will play a crucial role in ensuring the quality and reliability of our software-defined data and storage solutions. With a focus on automation, you will develop and execute automated tests to identify defects early in the development cycle.Key Responsibilities:Develop automated tests...


  • Portland, Oregon, United States MiTek USA Full time

    Job SummaryMiTek USA is seeking a seasoned AI Vision Engineering Lead to spearhead the development and deployment of cutting-edge computer vision solutions. As a key member of our engineering team, you will design, develop, and optimize AI models, applications, and frameworks that transform the building industry.About the RoleWe are looking for a visionary...


  • Portland, Oregon, United States Galois Full time

    About GaloisGalois tackles the most complex challenges in computer science. Our mission is to ensure trustworthiness in critical systems that safeguard privacy and integrity of information in real-world applications. We leverage formal analysis techniques to model, analyze, and mathematically prove the correctness of systems, guaranteeing they behave as...


  • Portland, Oregon, United States Jerry Full time

    Revolutionize Car Ownership with JerryJerry is a pioneering company that's redefining the car ownership experience. Our cutting-edge AllCarTM app simplifies and automates every aspect of car management, leveraging artificial intelligence and machine learning to provide personalized services for all car owners' needs.We're seeking a talented AI-Powered...


  • Portland, Oregon, United States Andrews Cooper Technology LLC Full time

    Job Title: Advanced Automation Systems EngineerAbout UsAndrews Cooper Technology LLC is a leading engineering services firm in the Pacific Northwest, specializing in complex technology development. We collaborate with clients to improve speed to market with our engineering teams in Research & Development, Product Development, Hardware Testing, and...


  • Portland, Oregon, United States Cognizant North America Full time

    SAP QA Automation Test Lead Position OverviewCognizant North America is seeking a skilled SAP QA Automation Test Lead to join our team of IT professionals. The successful candidate will be responsible for leading the automation of SAP quality assurance processes, ensuring efficient and effective testing of applications.About Cognizant's QEA...


  • Portland, Oregon, United States PacifiCorp Full time

    Company OverviewPacifiCorp is a leading energy company committed to customer-centricity, environmental sustainability, and diversity, equity, and inclusion. Our team of experts works together to drive business growth while maintaining a culture of excellence.Salary and BenefitsThe successful candidate can expect a salary range of $115,900 - $136,300 per...


  • Portland, Oregon, United States Stratton Group LLC Full time

    Are you an Obstetrics and Gynecology Physician looking for a stable and well-established group to join? Look no further than the Stratton Group LLC. Our team of 3 OBGYNs and 1 WHCNP is seeking a like-minded physician to add to our ranks. Located just 15 minutes from Portland, Oregon, we enjoy a convenient location that allows us to focus on what matters...


  • Portland, Oregon, United States 0010 eBay Inc. Full time

    At 0010 eBay Inc., we are more than a global ecommerce leader - we're changing the way the world shops and sells. Our platform empowers millions of buyers and sellers in over 190 markets worldwide. We're committed to pushing boundaries and leaving our mark as we reinvent the future of ecommerce for enthusiasts.We prioritize authenticity, welcome bold ideas,...


  • Portland, Oregon, United States The Medicus Firm Full time

    Director of Vascular Research OpportunityWe are seeking a visionary physician-scientist to lead our vascular research team at the OHSU Knight Cardiovascular Institute. As Director of Vascular Research, you will be at the forefront of shaping the future of cardiovascular care.The OHSU Knight Cardiovascular Institute is a hub for innovative research,...


  • Portland, Oregon, United States The Medicus Firm Full time

    Director of Vascular Biology ResearchThe Medicus Firm is seeking a visionary physician-scientist leader to join their esteemed team at the OHSU Knight Cardiovascular Institute.About the Role:Lead dynamic collaborations among scientists and clinicians focused on vascular function and disease, driving cutting-edge research and training of cardiovascular...


  • Portland, Oregon, United States Disability Solutions Full time

    Job DescriptionDesign and develop high-performance, high-bandwidth on-die coherent interconnects (mesh, NoC, fabric, etc.)Define topology and routing algorithms for mainband and sideband fabricsWork with the AI accelerator team to understand target workloads and compute and memory needsBalance features, performance, power, and area to create a solution

  • Research Associate

    2 weeks ago


    Portland, Oregon, United States Providence Health & Service Full time

    Job Title: Research AssociateProvidence Health & Services seeks a Research Associate to join our team in a Cancer Research laboratory. The successful candidate will assist the Laboratory Chief in planning, organizing, and implementing research activities.Key Responsibilities:Assist the Laboratory Chief in planning, organizing, and implementing research...


  • Portland, Oregon, United States Galois Full time

    About GaloisGalois is a leading organization in the field of computer science, tackling the most complex problems with the goal of ensuring trust in critical systems. Our mission is to apply formal analysis techniques that allow systems to be modeled, analyzed, and mathematically proven correct, guaranteeing their behavior under all circumstances.As a...


  • Portland, Oregon, United States The Medicus Firm Full time

    Job Overview: The Medicus Firm is seeking a distinguished Vascular Research Director to lead dynamic collaborations among scientists and clinicians focused on vascular function and disease. This role offers an exceptional opportunity to shape the future of cardiovascular care at the OHSU Knight Cardiovascular Institute.About the Role: As a Vascular Research...


  • Portland, Oregon, United States Airship Full time

    About AirshipAirship empowers brands to create lasting mobile-first customer experiences, driving business growth and customer loyalty.With a strong focus on innovation, we've been at the forefront of the customer experience revolution since 2009. Our industry-first support for push notifications, in-app messages, and mobile wallet boarding passes have...


  • Portland, Oregon, United States ENTRUST Solutions Group Full time

    About the Role">We are seeking a highly skilled Electrical Project Manager to join our team in Portland, OR.Key Responsibilities:">Design and manage electrical utility design projects and transmission line projects.Perform engineering calculations, arc flash analysis, and quality assurance/quality control.Manage multiple projects simultaneously to ensure...