Principal AI Researcher, Automated Reasoning Group
1 day ago
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.
-
Senior Applied Research Scientist
7 hours ago
Portland, Oregon, United States Amazon Full timeCompany 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...
-
Lead Formal Reasoning Engineer
1 day ago
Portland, Oregon, United States Amazon Full timeAbout 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...
-
Wordsmith for AI Chatbot Conversations
4 weeks ago
Portland, Oregon, United States Data Annotation Full timeConverse 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...
-
QA Automation Specialist
2 days ago
Portland, Oregon, United States StrongBox Data Solutions Full timeJob 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...
-
AI Vision Engineering Lead
3 weeks ago
Portland, Oregon, United States MiTek USA Full timeJob 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...
-
Principal Technologist in Advanced System Design
3 weeks ago
Portland, Oregon, United States Galois Full timeAbout 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...
-
AI-Powered Product Development Manager
3 weeks ago
Portland, Oregon, United States Jerry Full timeRevolutionize 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...
-
Advanced Automation Systems Engineer
3 weeks ago
Portland, Oregon, United States Andrews Cooper Technology LLC Full timeJob 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...
-
SAP Quality Assurance Automation Expert
3 weeks ago
Portland, Oregon, United States Cognizant North America Full timeSAP 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...
-
Principal Engineering Program Manager
3 weeks ago
Portland, Oregon, United States PacifiCorp Full timeCompany 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 timeAre 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...
-
Research Operations Manager for UX Team
3 weeks ago
Portland, Oregon, United States 0010 eBay Inc. Full timeAt 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,...
-
Cardiovascular Research Leader
3 weeks ago
Portland, Oregon, United States The Medicus Firm Full timeDirector 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,...
-
Lead Vascular Research Director
3 weeks ago
Portland, Oregon, United States The Medicus Firm Full timeDirector 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 timeJob 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 timeJob 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...
-
Advanced Data Privacy Researcher
6 days ago
Portland, Oregon, United States Galois Full timeAbout 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...
-
Cardiovascular Research Director
2 weeks ago
Portland, Oregon, United States The Medicus Firm Full timeJob 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...
-
Cloud Infrastructure Engineer
2 days ago
Portland, Oregon, United States Airship Full timeAbout 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...
-
Electrical Project Manager
17 hours ago
Portland, Oregon, United States ENTRUST Solutions Group Full timeAbout 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...