Oregon Other Job Listings

Workable

Research Engineer

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 employee must be able to obtain and retain a DoD Secret security clearance. 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. Location We enjoy a hybrid work environment, and candidates may be based out of any of our offices in Arlington, VA, Dayton, OH, Minneapolis, MN, or Portland, OR. Additionally, being located in Boston, MA is also welcome. 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.

Portland, OR, USA

Embedded Systems Software Engineer63392057556097121

Workable

Embedded Systems Software Engineer

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 We are currently seeking researchers/engineers with embedded systems and software assurance expertise to perform research on embedded systems. Software assurance is pivotal in fulfilling our mission to make critical systems trustworthy. 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 suggestions for means to meet those needs. Architecture and design: constructing high-level architectural descriptions of systems, and constructing deeper 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. Software Assurance: use mechanical reasoning tools and techniques such as static analysis, property-based testing, bounded model-checking, or symbolic execution to demonstrate or analyze desired security and correctness properties of software systems. Testing and validation: constructing and regularly conducting system, unit, and regression tests, as well as 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 - Minimum of a BS in computer science, electrical engineering, or mathematics. Required Technical Expertise Experience building highly performant and trustworthy cyber-physical software for mission-critical applications Experience with a systems programming language such as C, C++, and Rust Experience with, or willing to learn, advanced software analysis tools based on symbolic execution (e.g., Kani, Frama-C, Verus, or Astree) Experience developing, testing, and operationalizing capabilities in integrated (SWIL/HWIL) lab environments Ability to work in a small team to rapidly prototype and operationalize new features and capabilities Eagerness to learn new tools and techniques emerging from the R&D community Desired Technical Expertise Experience developing control algorithms in MATLAB/simulink or Ansys SCADE In-depth understanding of formal verification principles, methods, and relevant standard industry practices 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 Location We enjoy a hybrid work environment, and candidates may be based out of any of our offices in Arlington, VA, Dayton, OH, Minneapolis, MN, or Portland, OR. Additionally, being located in Boston, MA is also welcome. Security and Citizenship Requirement The employee must hold and retain a Secret security clearance. 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. 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 well-being 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.

Portland, OR, USA

Additive Manufacturing Technician I/II63392014250627122

Workable

Additive Manufacturing Technician I/II

This position requires access to export-controlled technology. Only U.S. citizens or nationals are eligible. Applications will be accepted on an ongoing basis until the requisition is closed. IRPI builds experimental and flight-rated space hardware with fast turnarounds. Our prototype shop runs SLA/mSLA & FDM printers, precision laser cutters/engravers, and select light-machining tools—soon to include entry-level CNC. We’re looking for a technician who can turn CAD files and work orders into inspection-ready parts and will grow with the shop as we add new processes. Responsibilities Additive & Post-Processing Prepare, load, and monitor mSLA/SLA, FDM/FFF (and occasional SLS) jobs. Perform the full resin workflow—wash, IPA rinse, UV cure—then sand, fill, paint, and polish to cosmetic or drawing spec. High attention to detail is critical. Log build parameters, part issues, and improvement notes in our shop database. Laser & Light Machining Set up/execute laser cutting, engraving, and specialty material ablation; keep optics aligned and exhaust operating properly. Operate basic shop tools (drill press, band saw, manual mill/lathe) and assist engineers on CNC setups as we add that capability. Quality & Shop Stewardship Tweak build parameters for accuracy/surface finish and drive efficiency projects that cut cycle time. Maintain material and consumable inventories; handle resins, solvents, and scrap per EHS rules. Keep the shop clean, organized, and safe—PPE, chemical‑handling, and laser‑safety compliance are non‑negotiable. Continuous Improvement Record build settings, inspection data, and nonconformances in the shop log. Document new procedures so the next person can replicate success. Requirements Minimum Qualifications High school diploma/GED and 2+ years hands‑on experience in a production, prototyping, or model‑shop environment. Comfortable running and maintaining 3D printers and laser‑processing equipment (both preferred). Able to read dimensioned mechanical drawings and use inspection tools. Solid computer skills—basic CAD (SolidWorks or similar) plus MS Office familiarity. U.S. citizenship or national status (ITAR/export‑controlled work). Willing and able to learn new manufacturing and software skills. Preferred Qualifications (but not required) Prior work with space, aviation, or defense hardware. Experience tuning slicer settings, laser parameters, or light‑CNC programs. Benefits Pay Bands Additive Technician/Level 1: $22.00 - $27.00/hour Additive Technician/Level 2: $26.00 - $32.50/hour Benefits (Eligible at >30 hrs per week) Medical and Dental Insurance Retirement Plan Contributions Paid vacation, sick leave, and U.S. holidays Paid parental leave Equal Opportunity Employer IRPI is committed to equal employment opportunity. We evaluate qualified applicants without regard to race, color, religion, sex, gender identity or expression, sexual orientation, national origin, age, disability, veteran status, marital status, or any other legally protected status.

Wilsonville, OR, USA

$22-32.5