Current jobs related to Research Engineer - Portland - Galois

  • Research Engineer

    4 weeks ago

    Portland, Oregon, United States Galois Full time

    About GaloisGalois is a cutting-edge technology company that tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. We apply formal analysis techniques to model, analyze, and mathematically prove systems correct, ensuring they behave exactly...

  • Senior Research Engineer

    4 weeks ago

    Portland, Oregon, United States Structural Integrity Associates, Inc. Full time

    Job Title: Senior Research EngineerWe are seeking a highly skilled Senior Research Engineer to join our team at Structural Integrity Associates, Inc. in Portland, OR.About the RoleAs a Senior Research Engineer, you will be responsible for designing, developing, and implementing advanced control systems for various industries, including semiconductor...

  • Senior Research Engineer

    2 weeks ago

    Portland, Oregon, United States Structural Integrity Associates Full time

    Job Title: Senior Research EngineerSC Solutions, Inc. is seeking a highly skilled Senior Research Engineer to join our Control Engineering team in Portland, OR. As a member of our team, you will be responsible for designing and implementing advanced control systems for various industries, including semiconductor manufacturing, aerospace, and energy.Key...

  • Differential Privacy Research Engineer

    3 days ago

    Portland, Oregon, United States Galois Full time

    About GaloisGalois is a leading organization in computer science, tackling the hardest problems to assure trust in critical systems. Our mission is to protect the privacy and integrity of information in the real world through the application of formal analysis techniques.We are a community of researchers, engineers, and operations people dedicated to...

  • Research Engineer

    2 weeks ago

    Portland, Oregon, United States Galois Full time

    About GaloisGalois is a leading organization in computer science, tackling the hardest problems to assure trust in critical systems. Our mission is to protect privacy and integrity of information in the real world through formal analysis techniques. We apply mathematical rigor to ensure systems behave as intended under all circumstances.We are a community of...

  • Research Scientist

    1 week ago

    Portland, Oregon, United States Galois Full time

    About the RoleGalois is seeking a highly skilled Research Engineer to join our team of experts in formal methods and programming languages. As a Research Engineer, you will design and develop advanced technologies for safety- and security-critical systems, networks, and applications.Key ResponsibilitiesRequirements gathering: engaging with clients to refine...

  • Research Scientist

    1 week ago

    Portland, Oregon, United States Graphic Packaging International Full time

    About the Role:We are seeking a skilled Research Scientist to join our team at Graphic Packaging International. As a Research Scientist, you will be responsible for developing and implementing new packaging solutions that meet the needs of our customers.Key Responsibilities:Conduct research and development of new packaging materials and...

  • Research Scientist

    5 days ago

    Portland, Oregon, United States Galois Full time

    About GaloisGalois is a leading organization in the field of computer science, tackling the most challenging problems in the industry. Our mission is to ensure trust in critical systems that protect the privacy and integrity of information in the real world.We apply formal analysis techniques to model, analyze, and mathematically prove the correctness of...

  • Research Scientist

    2 weeks ago

    Portland, Oregon, United States Galois Full time

    About GaloisGalois is a pioneering organization that tackles the most complex challenges in computer science. Our mission is to ensure trust in critical systems that safeguard the confidentiality and integrity of information in the real world. We achieve this by applying rigorous formal analysis techniques that enable systems to be modeled, analyzed, and...

  • Senior Research Engineer

    3 days ago

    Portland, Oregon, United States Structural Integrity Associates, Inc. Full time

    Job DescriptionWe are seeking a highly skilled Control Systems/Mechatronics Engineer to join our team at Structural Integrity Associates, Inc. in Portland, OR. As a member of our Control Engineering team, you will be part of an experienced multidisciplinary group providing feedback control solutions to our customers in real-time, model-based control...

  • User Experience Researcher

    1 month ago

    Portland, United States BGSF Full time

    UX Researcher Description -As a UX researcher, you will work closely with the Design and Marketing teams to reveal user needs, validate new concepts and to improve the experience of existing solutions. You will be in charge to set up and lead global primary research projects exploring consumer behavior and motivation for multiple design targets. The ideal...

  • User Experience Researcher

    1 month ago

    portland, United States BGSF Full time

    UX Researcher Description -As a UX researcher, you will work closely with the Design and Marketing teams to reveal user needs, validate new concepts and to improve the experience of existing solutions. You will be in charge to set up and lead global primary research projects exploring consumer behavior and motivation for multiple design targets. The ideal...

  • Senior Biomechanics Researcher

    2 weeks ago

    Portland, Oregon, United States 24 Seven Talent Full time

    Senior Footwear Researcher24 Seven Talent is partnering with a top global sportswear client to find a Senior Footwear Researcher for an onsite position in Beaverton, OR. This is a full-time, 6-month contract with the possibility of extension. As a contract researcher, you'll be eligible for benefits, including medical, dental, vision, and more.We're seeking...

  • Senior Biomechanics Research Specialist

    4 weeks ago

    Portland, Oregon, United States 24 Seven Talent Full time

    Senior Footwear Researcher24 Seven Talent is partnering with a top global sportswear client to find a Senior Footwear Researcher for an onsite position in Beaverton, OR. This is a full-time, 6-month contract with potential for extension. As a contract researcher, you'll be eligible for benefits including medical, dental, vision, and more.Ideal...

  • Footwear Product Research Associate

    4 weeks ago

    portland, United States 24 Seven Talent Full time

    24 Seven is partnering with a top global sportswear client to help them find a Senior Footwear Researcher for this onsite position in Beaverton, OR. This is a fulltime, 6 month contract with likelihood to extend. While on contract, you'd be eligible for benefits including medical, dental, vision and more.Ideal Candidate: Bachelor's degree required,...

  • Footwear Product Research Associate

    3 weeks ago

    Portland, United States 24 Seven Talent Full time

    24 Seven is partnering with a top global sportswear client to help them find a Senior Footwear Researcher for this onsite position in Beaverton, OR. This is a fulltime, 6 month contract with likelihood to extend. While on contract, you'd be eligible for benefits including medical, dental, vision and more.Ideal Candidate: Bachelor's degree required,...

  • Footwear Product Research Associate

    3 weeks ago

    Portland, United States 24 Seven Talent Full time

    24 Seven is partnering with a top global sportswear client to help them find a Senior Footwear Researcher for this onsite position in Beaverton, OR. This is a fulltime, 6 month contract with likelihood to extend. While on contract, you'd be eligible for benefits including medical, dental, vision and more.Ideal Candidate: Bachelor's degree required,...

  • Footwear Product Research Associate

    4 weeks ago

    Portland, United States 24 Seven Talent Full time

    24 Seven is partnering with a top global sportswear client to help them find a Senior Footwear Researcher for this onsite position in Beaverton, OR. This is a fulltime, 6 month contract with likelihood to extend. While on contract, you'd be eligible for benefits including medical, dental, vision and more.Ideal Candidate: Bachelor's degree required,...

  • User Experience Researcher

    1 month ago

    Portland, Oregon, United States BGSF Full time

    UX Researcher Job DescriptionBGSF is seeking a skilled UX Researcher to join our team. As a UX Researcher, you will play a crucial role in understanding user needs and behaviors to inform design decisions.Key Responsibilities:Research Objectives: Define research objectives and formulate research proposals to inform specific design decisions.Conduct Studies:...

  • Senior Biomechanics Researcher

    2 weeks ago

    Portland, Oregon, United States 24 Seven Talent Full time

    Senior Footwear Researcher24 Seven Talent is partnering with a top global sportswear client to find a Senior Footwear Researcher for an onsite position in Beaverton, OR. This is a full-time, 6-month contract with the possibility of extension. As a contract researcher, you will work closely with the Principal Researcher to understand the research plan and...

Research Engineer

3 months ago

Portland, United States Galois Full time
Job DescriptionJob DescriptionAbout Galois

Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. ​Core to​ ​this​ ​is​ ​the​ ​application​ ​of​ ​formal​ ​analysis​ ​techniques​ ​that​ ​allow​ ​systems​ ​to​ ​be​ ​modeled, analyzed,​ ​and​ ​mathematically proven​ ​correct to ensure​ ​that a​ ​system​ ​behaves​ ​exactly​ ​as​ ​we​ ​intend​ ​under​ ​all​ ​circumstances.

We are a community of researchers, engineers, and operations people dedicated to creating trustworthiness in critical systems in every functional area of the organization. Our organization is highly collaborative, and we pursue working from first principles, transparency, building deep trust, learning and innovating, and creating space for you to be authentically you. Our unique organizational structure enables us to adapt to the needs of the innovative projects we deliver.

We are employee-owned and aspire to provide employees with a sense of freedom to pursue passions in and out of work — whether it be opportunities to learn, career growth, a sense of community, or whatever else brings you value as a person.

Research Engineers at Galois design and develop advanced technologies for safety- and security-critical systems, networks, and applications. Engineers work in small team settings and must successfully interact with clients, partners, and other employees in a highly cooperative, collaborative, and intellectually challenging environment.

Our research engineers work in small teams and successfully interact with clients, partners, and other employees in a highly collaborative environment. We’re looking for people who can invent, learn, think, and inspire.

For more on our organizational structure, visit Life at Galois.

About This Role

Galois is hiring a Software Engineer/Researcher to join our team This role will primarily focus on advancing the state of the art in programming language theory research and implementation. Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security standards.

Responsibilities

As a Research Engineer, you will have the following responsibilities:

  • Requirements gathering: engaging the client in a series of discussions, where each iteration refines the needs of the client, and leads to the suggestion of means to meet those needs.
  • Architecture and design: constructing high-level architectural descriptions of software systems, and constructing deeper program designs by fleshing out architecture prototypes. Architectures must be designed with assurance in mind, determining where and how formal methods are to be applied.
  • Implementation: extending design prototypes through to a finished product, with care taken to ensure robustness and ease of use.
  • Formal verification: use mechanical reasoning tools such as theorem provers and model checkers to demonstrate or analyze desired security and correctness properties of systems.
  • Testing and validation: constructing and regularly conducting system, unit, and regression tests, and conducting semi-formal validation and verification.
  • Technology research and development: conducting speculative research and development of cutting-edge technology, and incorporating that technology in product prototypes.
  • Technical infrastructure development: developing (designing, implementing, and maintaining) tools to be used within Galois, and developing library code to be shared among projects.
Key Qualifications
  • Education:
    • A minimum of a Bachelor's degree in computer science or equivalent is required.
    • An MS or PhD in CS or a related field is desirable but optional.
  • Required Technical Expertise:
    • A programming languages background and experience with formal methods.
    • Must have hands-on experience developing software and applying formal verification techniques.
    • Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.
    • Experience in all aspects of software engineering practices.
    • Fluent in using semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications.
  • Required General Skills:
    • Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills.
    • Must be highly motivated and able to self-manage deadlines and quality goals.
  • Preference will be given to candidates with one or more of the following technical expertise:
    • Direct experience in developing high-assurance systems and/or security products.
    • Experience with Model Based Systems Engineering tools, with expertise in SysML and AADL.
    • Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.
Security and Citizenship Requirement

The employee must not require a U.S. government export license to authorize access to export-controlled technology and software required to perform this role.

Additionally, the employee must be able to obtain and retain a Top Secret (TS) security clearance.

Location

This role requires the ability to work in-person from one of Galois' office locations in Arlington, VA, Dayton, OH, or Portland, OR.

Benefits

We offer a robust benefits package to provide for your and your family’s well-being, including:

  • Employee Stock Ownership Plan (ESOP)
  • 401(k) retirement plan with 5% employer match and immediate vesting
  • Fully paid medical insurance plans and dental and vision reimbursement plan
  • Health Savings Account (HSA) with generous employer contributions
  • Mental health and wellbeing support through our employee assistance program
  • 5 weeks of paid time off and 9 days of paid company holidays each year
  • 16 weeks of fully paid parental leave (available for birth, adoption, and fostering)
  • 1 week of fully paid “Blue Sky” innovation time each year to pursue your interests

For more information on our benefits, visit Careers at Galois.

Compensation

Compensation is based on the value of your results, not your value as an employee or person. The compensation process, individual salaries, and criteria for salary changes are transparent to the entire company.

For more information about our forward-looking and transparent approach to pay, visit Compensation.

Equal Employment Opportunity

Galois is an Equal Opportunity Employer and does not discriminate in employment opportunities or practices based on race, ethnicity, national origin, ancestry, color, sex, gender identity or expression, sexual orientation, marital or parental status, pregnancy or childbirth, disability, age, religion, creed, genetic information, veteran status, or any other characteristic protected by applicable federal, state, or local law. We encourage and respect different viewpoints and experiences as being essential to the process of innovation. We strive to acquire, grow, and maintain a diverse and inclusive workplace that applies principles and standards equitably while supporting the needs and accommodations of the individual employee.

Consistent with the Americans with Disabilities Act (ADA) and federal and state laws, it is the policy of Galois, Inc. to provide reasonable accommodation when requested by a qualified applicant or employee with a disability, unless such accommodation would cause an undue hardship. If you require reasonable accommodation in completing the employment application, interviewing, completing any pre-employment testing, or otherwise participating in the employee selection process, please contact peopleoperations@galois.com.