27,365 Connected Car Technologies jobs in the United States

Get AI-powered advice on this job and more exclusive features.

About Galois

Who We Are: From building digital engineering tools that make space exploration safer to verifying cryptographic libraries that protect some of the world's most valuable data, Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.

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 unique organizational structure enables us to adapt to the needs of the innovative projects we deliver.

What We Do: We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances. With clients including NASA, DARPA, AWS, and the DoW, we leverage our cutting-edge research to deliver high assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, semiconductors, and fintech.

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.

Life at Galois: People are the foundation of Galois's success. As an employee-owned company, we care not only about the technologies we develop, but also the path we take to create them. Galois operates under a highly collaborative organizational model that encourages leadership and teamwork and respects the individuals.

For more on our culture and 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

• 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 C, C++, and Rust programming languages
• Experience with 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

Active and transferable U.S. government issued security clearance is required. U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance.

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

#J-18808-Ljbffr

Overview

About Galois Who We Are: From building digital engineering tools that make space exploration safer to verifying cryptographic libraries that protect some of the world’s most valuable data, Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.

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 unique organizational structure enables us to adapt to the needs of the innovative projects we deliver.

What We Do: We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances. With clients including NASA, DARPA, AWS, and the DoW, we leverage our cutting-edge research to deliver high assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, semiconductors, and fintech.

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.

Life at Galois: People are the foundation of Galois’s success. As an employee-owned company, we care not only about the technologies we develop, but also the path we take to create them. Galois operates under a highly collaborative organizational model that encourages leadership and teamwork and respects the individuals.

For more on our culture and 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 C, C++, and Rust programming languages
• Experience with 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

Active and transferable U.S. government issued security clearance is required.

U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance.

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

#J-18808-Ljbffr

About Galois

Who We Are: From building digital engineering tools that make space exploration safer to verifying cryptographic libraries that protect some of the world's most valuable data, Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.

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 unique organizational structure enables us to adapt to the needs of the innovative projects we deliver.

What We Do: We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances. With clients including NASA, DARPA, AWS, and the DoW, we leverage our cutting-edge research to deliver high assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, semiconductors, and fintech.

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.

Life at Galois: People are the foundation of Galois's success. As an employee-owned company, we care not only about the technologies we develop, but also the path we take to create them. Galois operates under a highly collaborative organizational model that encourages leadership and teamwork and respects the individuals.

For more on our culture and 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

• 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 C, C++, and Rust programming languages
  • Experience with 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

Active and transferable U.S. government issued security clearance is required. U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance.

Benefits

• 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

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

Referrals increase your chances of interviewing at Galois, Inc. by 2x

Get notified about new Embedded System Software Engineer jobs in Portland, OR .

#J-18808-Ljbffr

About Galois

Who We Are: From building digital engineering tools that make space exploration safer to verifying cryptographic libraries that protect some of the world's most valuable data, Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.

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 unique organizational structure enables us to adapt to the needs of the innovative projects we deliver.

What We Do: We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances. With clients including NASA, DARPA, AWS, and the DoD, we leverage our cutting-edge research to deliver high assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, semiconductors, and fintech.

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.

Life at Galois: People are the foundation of Galois's success. As an employee-owned company, we care not only about the technologies we develop, but also the path we take to create them. Galois operates under a highly collaborative organizational model that encourages leadership and teamwork and respects the individuals. For more on our culture and 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

• 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 C, C++, and Rust programming languages
• Experience with 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

Active and transferable U.S. government issued security clearance is required. U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance.

Benefits

• 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

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

#J-18808-Ljbffr

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 C, C++, and Rust programming languages
• Experience with 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 #J-18808-Ljbffr

Overview

Software Engineer, Embedded Systems at Heron Power. Join a startup building cutting-edge power electronics for the 21st-century grid.

Heron Power is a startup focused on debottlenecking electricity generation and consumption with scalable, innovative, and cost-effective hardware solutions to accelerate electrification. Our first goal is to build better converters (inverters & rectifiers) to connect large-scale renewables, storage, and loads to the grid. Our leadership team has designed and shipped gigawatts of power conversion products, and we foster a collaborative environment focused on personal, technical, and career growth.

Location: Mountain View, CA. Compensation ranges from $95,000 to $200,000 per year, plus equity and benefits. This is a full-time role with an entry-level seniority level.

What You Will Do

As an embedded software engineer, you will be responsible for developing connected-systems infrastructure and implementing real-time algorithms for power conversion systems. You will also create and maintain validation and CI/CD pipelines.

How You Will Contribute

• Evaluate embedded compute requirements and microcontroller offerings
• Implement embedded real-time operating system (RTOS) and microcontroller kernels and peripherals (e.g., PWM, ADCs, comparators, serial communications)
• Create communication schemas and associated auto-generated code
• Architect and implement troubleshooting and tracing tools, security features, data historians, and logging pipelines
• Create CI pipelines including build scripts and test automation
• Integrate and maintain unit-test and test-automation frameworks
• Design and maintain over-the-air firmware update, telemetry, and fleet management systems
• Manage version control, firmware integration, and firmware release processes
• Collaborate with adjacent teams (circuit-design and power controls engineers) as needed

What You Will Bring

We value strong first-principles thinking, hands-on skills, initiative, and domain knowledge. The exact career level will be shaped by experience.

Must-Have Requirements

• Strong knowledge of embedded C
• Familiarity with bootloaders and real-time operating systems (RTOS)
• Experience with build systems and CI/CD pipelines

Nice-to-Haves

• Experience with real-time dynamic control systems
• Familiarity with simple power conversion topologies
• Experience writing safety-critical firmware
• Electronic circuit design experience
• Front-end software experience for engineering tools
• Familiarity with FPGA programming and/or ASIC design
• Experience in high-volume production and support

If you are passionate about technology and enjoy working in a fast-paced environment, we would love to hear from you. Join us in accelerating the electrification of everything at Heron Power.

Heron Power provides competitive compensation (salary and equity) and benefits.

Seniority level : Entry level

Employment type : Full-time

Job function : Engineering and Information Technology

Industries : Renewable Energy Equipment Manufacturing

#J-18808-Ljbffr

Overview

Location: San Francisco, CA (Remote/Hybrid Available)

What is Verse?

Organizations today are under growing pressure to navigate the transition to clean energy — not just to meet sustainability goals, but to manage risk, control costs, and build long-term resilience. Yet the complexity of energy markets and a lack of accessible tools have made it difficult for most companies to take meaningful action. Verse was created to change that.

Our mission is to make the case for clean energy irrefutable. Through our AI-powered platform, Aria, we help organizations plan, procure, and operate clean energy to achieve their financial and sustainability goals. Verse transforms clean energy ambition into action — giving businesses the clarity and confidence to lead in a rapidly evolving energy landscape.

The Role

As a Software Engineer focused on Embedded Systems at Verse, you will be working closely with our energy solutions partners to design, implement, and test distributed energy resource controls and telemetry software on customer hardware at sites around the world. You will be part of a dynamic, high-performance team building applications directly on bare-metal or on hardware-level virtualization platforms. As an advanced technical leader in embedded systems development, engineering teams will look to you for best standards and practices for interfacing with on-premises grid assets using solutions you will build and maintain.

Key Responsibilities

• Foster a culture and mindset of well-designed systems, test-driven software, and transparent communication with a high caliber of mutual respect and consideration for stakeholders
• Mentor and support career and junior level engineers in their embedded systems career development
• Collaborate closely with energy solutions providers on their proprietary hardware and on-premises software stacks
• Design, implement, and test software for supervisory distributed energy resource control and telemetry applications with heterogeneous OEM hardware, sensor/actual networks, and remote terminal units
• Develop high-performance, production-grade applications optimized for resource- and bandwidth-constrained environments
• Provide specifications for over-the-air (OTA) update of on-prem software and remote access solutions for customers
• Implement and enforce best security practices for critical infrastructure and cyber-physical systems

What We're Looking For (Minimum Qualifications)

• At least 5+ years of experience working directly on bare metal applications
• Technical leadership and commitment to delivering high quality software on time or ahead of schedule, and adhering to best software development practices
• Strong programming skills with systems languages such as C/C++, Rust or Go
• Comfortable working with scripting languages such as Shell or Python (understanding of Rust bindings for Python or similar a big plus)
• Advanced knowledge of communications solutions at all layers (L1-L7) in the OSI networking model
• Hands-on exposure to lightweight database engines such as SQLite, LevelDB, or similar
• Familiarity with SCADA systems, industrial automation software, and finite state machines
• Hardened security mindset with extensive experience in one or more technologies such as public key infrastructure, encryption, cryptography, and data privacy

What Will Make You Standout (Preferred Qualifications)

• A bachelor’s degree or higher in a STEM field
• Proficient with electric power systems and bulk electricity grid hardware (e.g. transmission, distribution, generation, storage)
• Comfortable building software on the Intel Atom family of processors or similar low-powered CPU environments
• Working knowledge applying first principles of model-predictive control, optimal control, robotics, and/or reinforcement learning
• Deep knowledge working with Modbus TCP or similar L5-L7 application layer networking protocol
• Technical proficiency working with industrial SCADA communications protocols such as DNP3 and the IEC 60870 and 61850 family of protocols
• Experience building resilient, fault tolerant applications on inherently unreliable / mesh networks with Ethernet, Wi-Fi, Zigbee, 4G/5G cellular, broadband, fiber, or satellite links
• Experience with one or more battery energy storage technologies from Tesla, Sungrow, LG/NEC, or Fluence

What Makes Verse a Great Place to Work?

• Lead with Empathy: We lift each other up with humility and kindness, always putting colleagues and customers first
• Be Honest & Transparent: We prioritize effective communication to build trust with our team, customers, and stakeholders
• Move with Balance & Precision: We believe speed and perseverance must be accompanied by thoughtfulness and reflection
• Leave the World a Better Place: We are passionate about our mission, and we strive to create a sustainable world for future generations

Base Pay Range

$160,000 - $194,000

This is the estimated base salary range for this position, which does not include the value of benefits or a potential equity grant. A wide range of factors are considered in making compensation decisions, including but not limited to level, skill sets, market conditions, experience and training, licensure and certifications, and business and organizational needs.

Benefits and Employee Perks

• Competitive compensation and equity grant at a high-growth start up
• Comprehensive benefits package including medical, dental and vision insurance, and 401k
• Flexible hours and unlimited PTO
• Diverse and inclusive working environment

Verse is an equal opportunity employer. All applicants and employees are considered for hire, promotion, and compensation without regard to race, color, religion, sex, national origin, age, disability, sexual orientation, marital or familial status.

#J-18808-Ljbffr

Overview

Principal Software Engineer (Embedded Systems) role at Safran . Onsite location preferred for local candidates. This position leads the design, development, testing and modification of software used in aerospace electrical and electronic equipment and interfaces with cross-functional groups to ensure robust, airworthy designs that meet budget and schedule requirements.

Principal Embedded Software Engineer responsibilities include ownership and/or leadership of software teams and projects related to W&W System Components, with a focus on performance and reliability in commercial aerospace hardware.

Responsibilities

• Design and implement advanced control algorithms for power electronic applications
• Develop control system software requirements to write embedded code for 3-phase Active Rectifier, Motor Control electronics
• Contribute to system design and independently develop subsystem designs that meet requirements; evaluate tradeoffs between requirements, cost and reliability
• Test/debug power electronics controllers and perform source and assembly level debugging
• Optimize software performance by collaborating with control system engineers
• Engage with suppliers to review control software design
• Lead or support software design review activities; interface with vendors, customers and other departments on technical issues
• Independently own or lead a team for small/medium size software development
• Review, check and approve work by peers and lower level engineers
• Provide guidance and training to lower level engineers
• Assess standard work and support or lead improvement projects
• Understand how engineering, industrialization and operations work together within the company
• Analyze customer requirements and validate them via analysis/modeling/prototyping or product performance
• Create software requirements specification and hardware/software interface control documents
• Create verification plan for validating product compliance to requirements
• Interface independently with technical analysts to define software design

Qualifications and Experience

Education and/or Experience:

• Aerospace industry experience is required
• Bachelors or Masters or PhD in electrical or computer engineering from ABET-accredited institution or equivalent
• Bachelors in electrical or computer engineering with 8+ years of software design experience in aerospace industry
• Master's in electrical or computer engineering with 6+ years of software design experience in aerospace industry
• PhD in electrical or computer engineering with 3+ years of software design experience in aerospace industry

Other requirements:

• Hands-on programming skills in C/C++, VHDL/Verilog and scripting languages (Perl/Python/PowerShell)
• Knowledge of embedded systems architecture and programming
• Experience with LabVIEW
• Firmware development experience on DSPs and microcontrollers (e.g., TMS320F28XX, PIC18/16xx, MC68xxx, X86 DSPs)
• Analytical ability in complex embedded software architecture and design (active rectifiers, PFC, inverter, motor control)
• Experience with CAN, ARINC429, I2C, SPI, RS-232 software modules
• Proficiency with simulation tools such as PSIM, MATLAB, Simulink
• Strong interpersonal skills and ability to work in a team; capable of leadership and mentoring
• Experience using electronics test equipment and instrumentation for parameter characterization and validation
• Understanding of communication protocols and aerospace standards (CAN, ARINC, RTCA/DO-160, DO-254, DO-178)

Work Environment and Travel

• Physical demands include regular movement around the office
• Work environment generally minimal noise
• Travel may be minimal, typically 5-10 days per quarter

Company Information

Safran is an international high-technology group operating in aviation, defense and space markets. It aims to contribute to a safer, more sustainable world and has a global presence with a large workforce and significant market leadership in core areas.

Safran is listed among TIME magazine's World's Best Companies rankings for 2024.

Job Details

• Location: Hawthorne, CA, Los Angeles, CA, Glendale, CA (on-site on preference)
• Salary range disclosed: varies by location

Referral programs and alerts: Referrals may increase interview chances; sign in to set job alerts or submit your resume if no current opening matches.

#J-18808-Ljbffr

Description

Hybrid: This means the successful candidate is expected to report to their primary location (Mountain View, California) three times per week, at minimum. Relocation: This job is not eligible for relocation benefits. Any relocation costs would be the responsibility of the selected candidate. The Role: General Motors is committed to creating a future with zero crashes, zero emissions, and zero congestion. We are working to make our world better, safer and more equitable to all. From start to finish, our engineering team challenges the limits on what is possible at all experiences. We welcome ambitious and passionate individuals who are ready to challenge limits and contribute to making the world a better place. The Vehicle Mechatronics Embedded Controls (VMEC) organization is seeking Embedded Software developers, at various levels. These developers will be responsible for designing, developing, testing, and deploying embedded software for significant projects that align with GM's future goals. Specifically, this role will focus on the Body domain, which encompasses essential vehicle systems and components responsible for managing vehicle motion, occupant protection, comfort, vision, visibility, and vehicle access. What You’ll do: Working with Software Architects to understand and implement Software Defined Vehicle (SDV) requirements and designs within the team. Collaborating with an agile-scrum team to develop embedded software for the Body domain using C code. Creating and integrating software while following best practices. Developing software interfaces as needed to integrate new components and enhance existing software capabilities. Identifying and resolving software issues and contributing to the team's knowledge base for future reference. Archiving software components in GIT repository databases and coordinating retention efforts between controls and software teams. Designing test cases to ensure comprehensive software testing at the unit, component, and integrated levels. Your Skills & Abilities (Required Qualifications) Bachelor’s degree in computer science, Mechatronics, Software, Electrical or Computer Engineering, or equivalent experience. 6+ years of embedded software development experience Proficiency in writing and debugging C code. Strong oral and written communication skills as well as good interpersonal skills to work effectively in a geographically dispersed team. Individually motivated; scrum team members are expected to pursue their goals with a high degree of independence and motivation. What Will Give You A Competitive Edge (Preferred Skills) Experience with AUTOSAR (AUTomotive Open System ARchitecture) framework-based systems design using Vector and Automotive Ethernet. Familiarity with GM or other automotive software standards, test procedures and build processes. Experience with software configuration management processes and tools, such as Git Ecosystem. Development and testing experience in SIL/HIL or other virtual environments. Prior experience working in Agile / Scrum / SAFe methodologies. Experience in domains such as occupant protection/position/comfort, vision and visibility, vehicle access. Compensation: The compensation information is a good faith estimate only. It is based on what a successful applicant might be paid in accordance with applicable state laws. The compensation may not be representative for positions located outside of the California Bay Area. The salary range for this role is $158,000 - 241,900.00. The actual base salary a successful candidate will be offered within this range will vary based on factors relevant to the position. Bonus Potential: An incentive pay program offers payouts based on company performance, job level, and individual performance.

About GMOur vision is a world with Zero Crashes, Zero Emissions and Zero Congestion and we embrace the responsibility to lead the change that will make our world better, safer and more equitable for all.Why Join UsWe believe we all must make a choice every day – individually and collectively – to drive meaningful change through our words, our deeds and our culture. Every day, we want every employee to feel they belong to one General Motors team.Total Rewards | Benefits OverviewFrom day one, we're looking out for your well-being–at work and at home–so you can focus on realizing your ambitions. Learn how GM supports a rewarding career that rewards you personally by visiting Total Rewards resources.Non-Discrimination and Equal Employment Opportunities (U.S.)General Motors is committed to being a workplace that is not only free of unlawful discrimination, but one that genuinely fosters inclusion and belonging. We strongly believe that providing an inclusive workplace creates an environment in which our employees can thrive and develop better products for our customers.All employment decisions are made on a non-discriminatory basis without regard to sex, race, color, national origin, citizenship status, religion, age, disability, pregnancy or maternity status, sexual orientation, gender identity, status as a veteran or protected veteran, or any other similarly protected status in accordance with federal, state and local laws.We encourage interested candidates to review the key responsibilities and qualifications for each role and apply for any positions that match their skills and capabilities. Applicants in the recruitment process may be required, where applicable, to successfully complete a role-related assessment(s) and/or a pre-employment screening prior to beginning employment. To learn more, visit How we Hire.AccommodationsGeneral Motors offers opportunities to all job seekers including individuals with disabilities. If you need a reasonable accommodation to assist with your job search or application for employment, email us or call us at . In your email, please include a description of the specific accommodation you are requesting as well as the job title and requisition number of the position for which you are applying.For more detail, salary and company information, use the apply link

#J-18808-Ljbffr