Research Engineer

3 weeks ago

Portland, United States Galois Full time
About 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 candidate must not require a U.S. government export license to authorize access to export-controlled technology and software required to perform this role.
Location

This role requires the ability to work in-person from one of Galois' office locations in Arlington, VA, Dayton, OH, Minneapolis, MN, 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.

  • Senior Research Engineer

    3 weeks ago

    Portland, United States Structural Integrity Associates Full time

    SC Solutions, Inc. (SC), an affiliate company of Structural Integrity Associates, Inc., is seeking to hire a Control Systems/Mechatronics engineer for our Portland, OR office. 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...

  • Senior Research Engineer

    2 weeks ago

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

    SC Solutions, Inc. (SC), an affiliate company of Structural Integrity Associates, Inc., is seeking to hire a Control Systems/Mechatronics engineer for our Portland, OR office. 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...

  • Research And Development Manager

    5 days ago

    Portland, United States Grid Careers Full time

    About the RoleResponsibilitiesBuild and manage a team of R&D engineers to expand and expedite the New Product Development Design ProcessFoster a culture of ownership over assigned tasks and products.Conduct Research to aid in development of new products best suited for key markets Initiate projects as directed by the steering committee; Identify potential...

  • Advanced Data Privacy Researcher

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

  • Director of Research Operations

    3 weeks ago

    Portland, Oregon, United States eBay Full time

    About eBayeBay is a global ecommerce leader, 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.Company ValuesOur customers are our compassAuthenticity thrivesBold ideas...

  • Research Operations Manager for UX Team

    3 weeks ago

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

  • Grid Careers | Research And Development Manager

    5 days ago

    portland, United States Grid Careers Full time

    About the RoleResponsibilitiesBuild and manage a team of R&D engineers to expand and expedite the New Product Development Design ProcessFoster a culture of ownership over assigned tasks and products.Conduct Research to aid in development of new products best suited for key markets Initiate projects as directed by the steering committee; Identify potential...

  • Global Research Operations Leader for UX Insights

    3 weeks ago

    Portland, Oregon, United States eBay Full time

    Job Description">eBay is a global e-commerce leader, constantly innovating to change the way people shop and sell. We're passionate about empowering millions of buyers and sellers across 190 markets worldwide.">We're seeking a motivated and experienced Manager, UX Research Ops to drive recruiting operations for our UX research team. This role will oversee...

  • Civil Engineering Internship Opportunity at KPFF Consulting Engineers

    3 weeks ago

    Portland, Oregon, United States KPFF Consulting Engineers Full time

    Company OverviewKPFF Consulting Engineers is a collaborative and innovative team of civil engineers that thrive on designing cutting-edge solutions for projects of all scales. With over 1,300 employees across 22 offices, we provide our clients with visionary, environmentally sensitive, and technically advanced services. Our company culture values teamwork,...

  • Fire Protection Engineer Apprentice

    1 week ago

    Portland, Oregon, United States Holmes Full time

    Company OverviewHolmes is an international design firm that operates globally, providing engineering services with a focus on community interests and innovation.We have offices in San Francisco, Los Angeles, Portland, Seattle, and Boulder, as part of the Holmes Group, a New Zealand-based organization with employees across the Pacific Rim.Job DetailsThis...

  • Career Opportunities for Recent Graduates in Engineering

    6 hours ago

    Portland, Maine, United States HNTB Full time

    About the RoleWe are seeking a New Grad Engineer I to join our team at HNTB. As a member of our Structures and Highway groups in South Portland, Maine, you will have the opportunity to work on a diverse range of projects for our clients.Key ResponsibilitiesAssist in the production and modification of design calculations, technical reports, engineering plans...

  • Mechanical Engineer II

    1 month ago

    Portland, United States Affiliated Engineers Full time

    Overview Affiliated Engineers, Inc. (AEI) is a leading, multidisciplinary consulting engineering firm and collaborative community of over 800 employees who plan, design, and deliver high-performance, innovative, and holistic engineering solutions — positively impacting society and advancing humankind. Recognized in the Top 20 Engineering Firms ...

  • Civil Engineer

    1 day ago

    Portland, United States Stantec Full time

    We create the connections that get people and goods moving—whether by car, bus, train, plane, or their own two feet. Working within the context of the communities we serve, we provide planning, engineering, and infrastructure management services that fit the needs of our clients and improve the overall transportation experience. Join our team and help us...

  • Power System Reliability Engineer

    3 weeks ago

    Portland, Oregon, United States PacifiCorp Full time

    PacifiCorp is seeking a skilled Power System Reliability Engineer to join our team.About the RoleThis is a challenging and rewarding opportunity for a highly motivated individual to contribute to the development and implementation of reliable power systems. The successful candidate will be responsible for ensuring the safe and efficient operation of our...

  • Part-Time Field Researcher for National Health Study

    3 weeks ago

    Portland, Oregon, United States RTI International Full time

    RTI International is seeking a Part-Time Field Researcher to work on the National Survey on Drug Use and Health (NSDUH), a government-sponsored research study conducted since 1971. This study provides up-to-date information on alcohol, tobacco, drug use, mental health, and other health-related issues in the United States.Job OverviewWe are looking for...

  • Assistant Roadway Engineer

    5 hours ago

    Portland, Oregon, United States State of Oregon Full time

    Role OverviewAs a key member of the Interstate Bridge Replacement program, you will play a crucial role in the design and construction of a replacement Interstate Bridge that will serve generations to come. This mega-infrastructure project, led jointly by the states of Oregon and Washington, aims to address regional safety and mobility challenges facing the...

  • Fire Safety Systems Engineer

    3 weeks ago

    Portland, Oregon, United States WSP Full time

    About this opportunityWe are seeking a highly skilled Fire Safety Systems Engineer to join our team at WSP. As a key member of our Fire and Life Safety Team, you will be responsible for designing, developing, and implementing fire safety systems that meet or exceed industry standards.Key responsibilitiesDesign and develop fire safety systems, including...

  • Mechanical Engineer

    3 weeks ago

    Portland, United States SMRT inc. Full time

    Job Type Full-time Description SMRT is a multi-disciplinary, full-service architecture and engineering firm specializing in high-performing, complex, and sustainable environments. We are a collaborative team united by a shared vision, seeking innovative professionals ready to design for what's next. We solve complex problems with smart, inventive solutions....

  • Junior Engineering Specialist

    6 hours ago

    South Portland, Maine, United States HNTB Full time

    We are seeking a Junior Engineering Specialist to assist in the production and modification of design calculations, technical reports, engineering plans, and specifications for assigned projects at HNTB. This opportunity entails contributing to successful project delivery for a diverse range of projects.Key Responsibilities:Completes assigned work within the...

  • Process Engineer I

    5 months ago

    Portland, United States Tosoh Quartz, Inc. Full time

    Description Who we are. We are Tosoh Quartz, Inc. (TQI), the world's leading manufacturer of quartz glassware for the semiconductor industry. With locations in Portland, OR and Durham, UK, we have been dedicated to uncompromising quality and service since our founding in 1957. Our mission is to develop and manufacture innovative quartz products...