<h3>Job Description</h3><div>Job Description<div>About GaloisGalois 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 who are 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, data science, and their 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 RoleGalois is hiring a Software Engineer/Researcher to join our team! This role will primarily focus on advancing the state of the art in data privacy and statistical methods and include applications of programming language technologies to software engineering problems.ResponsibilitiesAs a Research Engineer, you will have the following responsibilities: <ul><li>Data privacy: leverage state of the art approaches for implementing systems with formal data privacy guarantees, e.g., using differential privacy. Design and implementation of new algorithms for data privacy. Empirical evaluation of privacy protection guarantees, e.g., using adversarial machine learning methods. Review and evaluation of software implementing or applying formal privacy techniques.</li><li>Applied programming languages research: develop embedded DSLs for data science domains that enforce data privacy properties by construction, interface with existing languages, and support client-specified user workflows.</li><li>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.</li><li>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.</li><li>Implementation: extending design prototypes with care taken to ensure robustness and ease of use. </li><li>Testing and validation: constructing and regularly conducting system, unit, and regression tests, and conducting semi-formal validation and verification.</li><li>Technology research and development: conducting speculative research and development of cutting-edge technology and incorporating that technology into demonstration prototypes. </li><li>Technical infrastructure development: developing (designing, implementing, and maintaining) tools to be used within Galois and developing library code to be shared among projects.</li></ul>Key Qualifications<ul><li>Education - A minimum of a Masters degree in computer science or equivalent is required. A PhD in CS or a related field is desirable but optional.</li><li>Required Technical Expertise</li><ul><li>Formal definitions and variations of differential privacy</li><li>Design and application of differentially private algorithms</li><li>Programming language techniques for differential privacy, one or more of:</li><ul><li>DSL design</li><li>Static program analysis</li><li>Dynamic program analysis</li><li>Testing</li><li>Verification</li></ul></ul><ul><li>Candidates who have technical expertise primarily in formal privacy but secondarily in some domain other than applied programming languages research will still be considered.</li></ul></ul><ul><li>Required General Skills</li><ul><li>Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills. </li><li>Must be highly motivated and able to self-manage deadlines and quality goals.</li></ul><li>Preference will be given to candidates with one or more of the following technical expertise:</li><ul><li>Differentially private algorithm design</li><li>Statistical programming (R, Stata, SAS, Python)</li><li>Statistical analysis</li><li>Privacy attacks (reconstruction, membership inference, attribute inference)</li><li>Other privacy frameworks (K-anonymity, l-diversity, statistical disclosure avoidance)</li></ul></ul>Security and Citizenship Requirements<ul><li>U.S. Citizenship required.</li><li>The candidate may be subject to a background investigation and will need to meet eligibility requirements for access to sensitive information.</li><li>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. </li></ul>LocationWe enjoy a hybrid work environment, and being co-located with one of our offices is preferred - locations in Arlington, VA, Dayton, OH, Minneapolis, MN, and Portland, OR. Potential for remote work is possible.BenefitsWe offer a robust benefits package to provide for your and your family’s well-being, including:<ul><li>Employee Stock Ownership Plan (ESOP)</li><li>401(k) retirement plan with 5% employer match and immediate vesting</li><li>Fully paid medical insurance plans and dental and vision reimbursement plan</li><li>Health Savings Account (HSA) with generous employer contributions</li><li>Mental health and wellbeing support through our employee assistance program</li><li>5 weeks of paid time off and 9 days of paid company holidays each year</li><li>16 weeks of fully paid parental leave (available for birth, adoption, and fostering)</li><li>1 week of fully paid “Blue Sky” innovation time each year to pursue your interests</li></ul>For more information on our benefits, visit Careers at Galois.CompensationCompensation 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 OpportunityGalois 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.</div></div>

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 who are 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, data science, and their 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 data privacy and statistical methods and include applications of programming language technologies to software engineering problems. Responsibilities As a Research Engineer, you will have the following responsibilities: <ul> <li>Data privacy: leverage state of the art approaches for implementing systems with formal data privacy guarantees, e.g., using differential privacy. Design and implementation of new algorithms for data privacy. Empirical evaluation of privacy protection guarantees, e.g., using adversarial machine learning methods. Review and evaluation of software implementing or applying formal privacy techniques.</li> <li>Applied programming languages research: develop embedded DSLs for data science domains that enforce data privacy properties by construction, interface with existing languages, and support client-specified user workflows.</li> <li>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.</li> <li>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.</li> <li>Implementation: extending design prototypes with care taken to ensure robustness and ease of use. </li> <li>Testing and validation: constructing and regularly conducting system, unit, and regression tests, and conducting semi-formal validation and verification.</li> <li>Technology research and development: conducting speculative research and development of cutting-edge technology and incorporating that technology into demonstration prototypes. </li> <li>Technical infrastructure development: developing (designing, implementing, and maintaining) tools to be used within Galois and developing library code to be shared among projects.</li> </ul>Key Qualifications <ul> <li> Education - A minimum of a Masters degree in computer science or equivalent is required. A PhD in CS or a related field is desirable but optional.</li> <li>Required Technical Expertise</li> <ul> <li>Formal definitions and variations of differential privacy</li> <li>Design and application of differentially private algorithms</li> <li>Programming language techniques for differential privacy, one or more of:</li> <ul> <li>DSL design</li> <li>Static program analysis</li> <li>Dynamic program analysis</li> <li>Testing</li> <li>Verification</li> </ul> </ul> <ul> <li>Candidates who have technical expertise primarily in formal privacy but secondarily in some domain other than applied programming languages research will still be considered. </li></ul> </ul><ul> <li>Required General Skills</li> <ul> <li>Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills. </li> <li>Must be highly motivated and able to self-manage deadlines and quality goals.</li> </ul> <li>Preference will be given to candidates with one or more of the following technical expertise:</li> <ul> <li>Differentially private algorithm design</li> <li>Statistical programming (R, Stata, SAS, Python)</li> <li>Statistical analysis</li> <li>Privacy attacks (reconstruction, membership inference, attribute inference)</li> <li>Other privacy frameworks (K-anonymity, l-diversity, statistical disclosure avoidance)</li> </ul> </ul>Security and Citizenship Requirements <ul> <li>U.S. Citizenship required.</li> <li>The candidate may be subject to a background investigation and will need to meet eligibility requirements for access to sensitive information.</li> <li>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. </li> </ul>Location We enjoy a hybrid work environment, and being co-located with one of our offices is preferred - locations in Arlington, VA, Dayton, OH, Minneapolis, MN, and Portland, OR. Potential for remote work is possible. Benefits We offer a robust benefits package to provide for your and your family's well-being, including: <ul> <li>Employee Stock Ownership Plan (ESOP)</li> <li>401(k) retirement plan with 5% employer match and immediate vesting</li> <li>Fully paid medical insurance plans and dental and vision reimbursement plan</li> <li>Health Savings Account (HSA) with generous employer contributions</li> <li>Mental health and wellbeing support through our employee assistance program</li> <li>5 weeks of paid time off and 9 days of paid company holidays each year</li> <li>16 weeks of fully paid parental leave (available for birth, adoption, and fostering)</li> <li>1 week of fully paid "Blue Sky" innovation time each year to pursue your interests</li> </ul> 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.

<h3>Job Description</h3><div>Job Description<div>About GaloisGalois 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 RoleGalois 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.ResponsibilitiesAs a Research Engineer, you will have the following responsibilities: <ul><li>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.</li><li>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.</li><li>Implementation: extending design prototypes through to a finished product, with care taken to ensure robustness and ease of use. </li><li>Formal verification: use mechanical reasoning tools such as theorem provers and model checkers to demonstrate or analyze desired security and correctness properties of systems.</li><li>Testing and validation: constructing and regularly conducting system, unit, and regression tests, and conducting semi-formal validation and verification.</li><li>Technology research and development: conducting speculative research and development of cutting-edge technology, and incorporating that technology in product prototypes. </li><li>Technical infrastructure development: developing (designing, implementing, and maintaining) tools to be used within Galois, and developing library code to be shared among projects.</li></ul>Key Qualifications<ul><li>Education: </li><ul><li>A minimum of a Bachelor's degree in computer science or equivalent is required. </li><li>An MS or PhD in CS or a related field is desirable but optional.</li></ul><li>Required Technical Expertise:</li><ul><li>A programming languages background and experience with formal methods.</li><li>Must have hands-on experience developing software and applying formal verification techniques.</li><li>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.</li><li>Experience in all aspects of software engineering practices.</li><li>Fluent in using semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications.</li></ul><li>Required General Skills:</li><ul><li>Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills. </li><li>Must be highly motivated and able to self-manage deadlines and quality goals.</li></ul></ul><ul><li>Preference will be given to candidates with one or more of the following technical expertise:</li><ul><li>Direct experience in developing high-assurance systems and/or security products.</li><li>Experience with Model Based Systems Engineering tools, with expertise in SysML and AADL.</li><li>Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.</li></ul></ul>Security and Citizenship RequirementThe 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.LocationThis role requires the ability to work in-person from one of Galois' office locations in Arlington, VA, Dayton, OH, or Portland, OR. BenefitsWe offer a robust benefits package to provide for your and your family’s well-being, including:<ul><li>Employee Stock Ownership Plan (ESOP)</li><li>401(k) retirement plan with 5% employer match and immediate vesting</li><li>Fully paid medical insurance plans and dental and vision reimbursement plan</li><li>Health Savings Account (HSA) with generous employer contributions</li><li>Mental health and wellbeing support through our employee assistance program</li><li>5 weeks of paid time off and 9 days of paid company holidays each year</li><li>16 weeks of fully paid parental leave (available for birth, adoption, and fostering)</li><li>1 week of fully paid “Blue Sky” innovation time each year to pursue your interests</li></ul>For more information on our benefits, visit Careers at Galois.CompensationCompensation 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 OpportunityGalois 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.</div></div>

<h3>Job Description</h3><div>Job Description<div>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 control systems. You will contribute to analysis, simulation, design, and implementation of such high-performance control systems. Our primary application is in process equipment control in semiconductor and advanced materials fabrication, but we also serve other industries such as aerospace, energy and transportation. We also perform cutting-edge Federally funded research (e.g., in quantum control) where we have a strong record of collaboration with the academic research community and National Labs. A strong background in multivariable (MIMO) feedback/feedforward control system design and software development skills are required. Experience with using MATLAB and a working knowledge of Simulink is also required. A good understanding of optimization techniques and algorithms is preferred.  A more detailed list of job responsibilities and qualifications is given below. SC provides a stimulating environment for professional growth through its involvement in a wide range of control and modeling applications. Aided by your enthusiasm and willingness to continually explore and learn new areas, your work at SC will help develop your analytical skills and independent engineering judgment, as well as being a team player as you navigate challenging control problems. You will have the opportunity to develop new lines of business by writing proposals and by developing industry contacts. We maintain a collegial and flexible work environment which has led to our excellent employee retention record. Primary Responsibilities: Conduct multi-input multi-output (MIMO) control design, simulations, data analysis and algorithm development and controller implementation for a wide range of systems.  Responsibilities include:<ul><li>Performing data analysis and signal processing to condition data.</li><li>Developing models in MATLAB/Simulink and running simulations with them to match customer data.</li><li>Performing MIMO model-based control design using MATLAB/Simulink and tools developed in-house.</li><li>Performing software development tasks such as algorithm development, coding and debugging, implementation on hardware platforms, and simple graphical user interface (GUI) design.</li><li>Performing engineering analyses, writing reports, and preparing presentations for clients.</li><li>Assisting in project delivery, technical task management, project management, and proposal writing.</li></ul>Requirements:<ul><li>U.S. Citizenship is required (for federal contracts)</li><li>Degree in Aeronautics and Astronautics, Electrical, Mechanical, Chemical Engineering, or related engineering field.</li><li>Experience with advanced multivariable (MIMO) control design techniques.</li><li>Proficiency in the use of scripting tools for engineering computations, such as MATLAB/Simulink, and software development in C, C++, C# or Python.</li><li>Good technical writing and verbal communications skills.</li><li>Strong planning and organizational skills are needed to complete assignments within budget and schedule to the satisfaction of customers.</li><li>Willingness to travel occasionally to customer sites.</li><li></li></ul>Desired:<ul><li>Strong understanding of optimization techniques and algorithms is preferred.</li><li>Two or more years of experience in Systems & Control Engineering is desirable.</li><li>Experience with real-time and embedded systems is a plus.</li></ul> About SC Solutions: SC Solutions Control Engineering provides custom process control and modeling solutions to semiconductor manufacturing, advanced materials manufacturing, energy, aerospace, and defense industries. SC Solutions is a high-technology company and provides excellent salary/benefits and the opportunity to develop your career with outstanding professionals. In Jan. 2024, SC Solutions was acquired by SI Solutions. This strategic relationship will allow us to grow our Model-based Control business and expand our services for many years to come. Please visit our website to learn more. About our Portland Office: Located in ‘Silicon Forest’, the high-tech industrial area in Portland, Oregon, SC Solutions’ Portland office is in the Durham Office Center, centrally located near Bridgeport Village just off Interstate I-5.  Since establishing a presence in the Portland area in 2005, SC Solutions has organically expanded in the area. SC views Oregon as a strategic location for continued growth and success in the future. Notice: SC Solutions does not welcome third-party recruiters, employment agencies, headhunters, etc. Please do not reach out to SC employees requesting a call, sit down, meeting, or email response.  Certain positions at SC Solutions may require access to information and technology which is subject to the export control regulations of the United States. Hiring decisions for such positions are required by law to be made in compliance with these regulations and may result in SC limiting its consideration of certain applicants.Powered by JazzHRBlVICek2Ve</div></div>

Research Engineer Jobs in Portland, OR

Differential Privacy Research Engineer
September 5, 2024

Differential Privacy Research Engineer
September 1, 2024

Differential Privacy Research Engineer
August 30, 2024

Research Engineer
August 30, 2024

Senior Research Engineer
August 30, 2024

Quick filters

Top companies

Research Engineer Jobs in Portland, OR

Differential Privacy Research EngineerSeptember 5, 2024

Differential Privacy Research EngineerSeptember 1, 2024

Differential Privacy Research EngineerAugust 30, 2024

Research EngineerAugust 30, 2024

Senior Research EngineerAugust 30, 2024