Formal Methods Researcher

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...

About GaloisGalois is a pioneering organization in the field of computer science, dedicated to ensuring trustworthiness in critical systems. Our mission revolves around applying formal analysis techniques to guarantee that systems behave as intended under all circumstances.As a collaborative community of researchers, engineers, and operations experts, we...

Job DescriptionWe are seeking a skilled Research Engineer to join our team at Galois. The successful candidate will be responsible for designing and developing advanced technologies for safety- and security-critical systems, networks, and applications.The estimated annual salary for this role is $160,000-$220,000, depending on experience and...

Galois OverviewWe are a leading organization in the field of computer science, focused on ensuring trustworthiness in critical systems. Our mission is built upon applying formal analysis techniques to guarantee that systems behave as intended under all circumstances.We strive for a collaborative environment, encouraging transparency, deep trust, learning,...

As a Research Assistant at the University of Oregon's Reality Lab, you will contribute to cutting-edge research on immersive media technologies, specifically augmented and virtual reality. This role is ideal for a detail-oriented individual who excels in a dynamic environment.About the PositionThe estimated salary for this position is $55,000-$65,000 per...

About GaloisGalois aims to assure trust in critical systems that protect the privacy and integrity of information in the real world. Our core principle involves applying formal analysis techniques that enable systems to be modeled, analyzed, and mathematically proven correct to ensure they behave exactly as intended under all circumstances.We operate as a...

Job Summary: We are looking for a highly skilled Laboratory Researcher - LCMS to work in our LCMS department at OMIC USA Inc. The successful candidate will be responsible for performing analytical services and results accurately, efficiently, and in a timely manner to clients. This includes analyzing samples using various techniques such as GC conventional,...

Job Description:Kaiser Permanente seeks a highly skilled and experienced Senior Investigator to lead our research team in Oregon, Portland. This is a unique opportunity to contribute to groundbreaking healthcare research and shape the future of medical innovation.Company Overview:Kaiser Permanente is a leading healthcare organization committed to providing...

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...

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...

Build a lasting legacy as a Highway Infrastructure Specialist with the State of Oregon. This is an exciting opportunity to work on a high-profile project, the Interstate Bridge Replacement (IBR) program, which will modernize the Interstate 5 corridor for travelers of today and tomorrow.About the RoleThis role involves overseeing the design and preparation of...

About UsBonneville Power Administration is a leading organization in the field of hydro energy modeling, and we are seeking a highly skilled Data Analyst Lead to join our team.Job DescriptionWe are looking for a talented Data Analyst Lead to lead our hydro energy modeling efforts. As a key member of our team, you will be responsible for designing and...

Job DescriptionWe are seeking an Analytical Chemist - Instrumentation Expert to join our team in Portland, OR. The successful candidate will have expertise in performing and interpreting sample analyses using advanced LC-MS/MS instrumentation and software.Key ResponsibilitiesDevelop and implement analytical methods.Train and mentor junior chemists.Contribute...

PacifiCorp Data Scientist RoleAt PacifiCorp, we are seeking a skilled Data Scientist to join our team in Power Delivery. This exciting opportunity involves working with large data sets to inform long-term risk analysis and aid in decision making. As a key member of our team, you will develop tools, perform analysis, and present findings to senior...

Job DescriptionAce Industries, Inc. is seeking a motivated and results-driven Operations Support Coordinator to join our team in providing exceptional support to our operations department.This role will involve collaborating with Ace technicians and other team members on customer work requests, evaluating and making recommendations regarding required repairs...

About Us: At TRC Companies, we pride ourselves on being a leader in delivering innovative solutions to our clients. With a strong foundation in science and technology, we combine our expertise to devise breakthrough thinking that stands the test of time. We work with a diverse range of commercial, industrial, and government clients, as well as the...

NORC at the University of Chicago, a leading research institution, is seeking a skilled Data Collector Specialist to join their team. As an integral part of our research efforts, this role plays a crucial part in collecting and gathering data that drives decision-making.Salary: $20.00 per hour, based on experience and geographic locationThis position is...

About the Role: We are seeking a highly skilled Strategic Actuarial Consultant to join our team at Kaiser Permanente. As a key member of our Analytics Insights Team, you will play a critical role in driving strategic insights to improve healthcare strategy.Job Summary: This individual contributor position is responsible for leading actuarial documentation...

Transforming Transportation InfrastructureThe State of Oregon invites applications for a Transportation Infrastructure Manager position in our Interstate Bridge Replacement program. In this role, you will oversee design and preparations of roadway portions of plans and estimates, conduct research, evaluate information across the agency, and provide details...

A Career Opportunity Like No OtherWe are seeking a highly skilled Roadway Design Specialist to join our team at the State of Oregon. In this role, you will work on designing and preparing roadway portions of plans and estimates, conduct research, evaluate information across the agency, and provide details and data to lead to agency methods and procedures....