Talent.com
Embedded Systems Software Engineer

Embedded Systems Software Engineer

Galois, Inc.Minneapolis, MN, US
job_description.job_card.variable_hours_ago
serp_jobs.job_preview.job_type
  • serp_jobs.job_card.full_time
  • serp_jobs.filters_job_card.quick_apply
job_description.job_card.job_description

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 peopleoperations@galois.com.

    serp_jobs.job_alerts.create_a_job

    Embedded Software Engineer • Minneapolis, MN, US

    Job_description.internal_linking.related_jobs
    • serp_jobs.job_card.promoted
    Senior Systems Software Engineer

    Senior Systems Software Engineer

    VirtualVocationsSaint Paul, Minnesota, United States
    serp_jobs.job_card.full_time
    A company is looking for a Senior Systems Software Engineer, Tegra UEFI Firmware.Key Responsibilities Develop features and code for UEFI firmware Document code flow, data flow, and architecture ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
    • serp_jobs.job_card.promoted
    Senior Staff Embedded Platform Engineer

    Senior Staff Embedded Platform Engineer

    Ford Motor CompanySt Paul, MN, United States
    serp_jobs.job_card.full_time
    We are the movers of the world and the makers of the future.We get up every day, roll up our sleeves and build a better world together. At Ford, we’re all a part of something bigger than ourselve...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Principal Systems Engineer

    Principal Systems Engineer

    Polar Semiconductor, Inc.Bloomington, MN, United States
    serp_jobs.job_card.full_time
    Polar Semiconductor is seeking a highly experienced and strategic.Azure cloud services, Office 365.As a Principal Systems Engineer you will be responsible for designing, implementing, maintaining, ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
    • serp_jobs.job_card.promoted
    Senior Embedded Software Engineer

    Senior Embedded Software Engineer

    BAE Systems USAMaple Grove, MN, United States
    serp_jobs.job_card.full_time
    What’s it like to work on a team driven to make a big impact? Empowering.We believe your career should always be growing. And that’s exactly what it will do at BAE Systems.You'll join a company trul...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Software Engineer (Systems)

    Software Engineer (Systems)

    METASt Paul, MN, United States
    serp_jobs.job_card.full_time
    Meta), formerly known as Facebook Inc.When Facebook launched in 2004, it changed the way people connect.Apps and services like Messenger, Instagram, and WhatsApp further empowered billions around t...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Software Engineer, Systems

    Software Engineer, Systems

    METASt Paul, MN, United States
    serp_jobs.job_card.full_time
    Meta), formerly known as Facebook Inc.When Facebook launched in 2004, it changed the way people connect.Apps and services like Messenger, Instagram, and WhatsApp further empowered billions around t...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    File Systems Software Engineer

    File Systems Software Engineer

    OracleSt Paul, MN, United States
    serp_jobs.job_card.full_time
    Are you interested in delivering large-scale, high performance, fault tolerant solutions? Oracle's Cloud Infrastructure team is building a next generation Infrastructure-as-a-Service that supports ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Senior Principal Systems Engineer

    Senior Principal Systems Engineer

    VirtualVocationsMinneapolis, Minnesota, United States
    serp_jobs.job_card.full_time
    A company is looking for a Senior Principal Systems Engineer (MBSE).Key Responsibilities Perform systems engineering tasks for software development of a Space Ground mission-focused cloud applica...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
    • serp_jobs.job_card.promoted
    Embedded Software Engineer

    Embedded Software Engineer

    HRU Inc Technical ResourcesMinneapolis, MN, United States
    serp_jobs.job_card.full_time
    We have openings for individuals with experience and a passion for real-time, embedded software development.The Software Engineer II performs a variety of tasks across the areas of software require...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Systems Engineer

    Systems Engineer

    VirtualVocationsMinneapolis, Minnesota, United States
    serp_jobs.job_card.full_time
    A company is looking for a Systems Engineer to analyze systems requirements and maintain cybersecurity solutions.Key Responsibilities Analyze systems requirements and design test cases, requireme...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
    • serp_jobs.job_card.promoted
    Senior Embedded Software Engineer (m / f / d)

    Senior Embedded Software Engineer (m / f / d)

    Danfoss LLCMinneapolis, MN, United States
    serp_jobs.job_card.full_time
    Senior Embedded Software Engineer (m / f / d).Neumuenster, DEPune, INMinneapolis, MN, USPovazska Bystrica, SK.Segment : Danfoss Power Solutions Segment. Job Function : R&D, Technology and Engineering.We a...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Linux Systems Administrator

    Linux Systems Administrator

    Chelsea Search GroupMinneapolis, MN, United States
    serp_jobs.job_card.full_time
    US Citizen or US Permanent Resident.Participation in on-call rotation for after-hours support.Occasional evening / weekend work required for scheduled maintenance. Full-Time + Health Benefits + 401K P...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Lead Senior Embedded Software Engineer

    Lead Senior Embedded Software Engineer

    EmersonShakopee, MN, United States
    serp_jobs.job_card.full_time
    At Emerson, we help the world run safer and smarter.As a global leader in automation, our Analytical Instruments organization develops advanced technologies and solutions that safeguard industries ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Lead Senior Embedded Software Engineer

    Lead Senior Embedded Software Engineer

    Emerson GroupShakopee, MN, United States
    serp_jobs.job_card.full_time
    At Emerson, we help the world run safer and smarter.As a global leader in automation, our Analytical Instruments organization develops advanced technologies and solutions that safeguard industries ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Senior Systems Engineer

    Senior Systems Engineer

    VirtualVocationsMinneapolis, Minnesota, United States
    serp_jobs.job_card.full_time
    A company is looking for a Senior Off-Site Systems Engineer - Engine Controls.Key Responsibilities Provide support to customers through troubleshooting and requirements assistance for engine cont...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
    • serp_jobs.job_card.promoted
    Software Engineer - DevOps

    Software Engineer - DevOps

    VirtualVocationsMinneapolis, Minnesota, United States
    serp_jobs.job_card.full_time
    A company is looking for a Software Engineer - DevOps, Platform.Key Responsibilities Lead the design and creation of web-based IDP tools for efficient service delivery in a Kubernetes environment...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
    • serp_jobs.job_card.promoted
    JUNIOR LEVEL EMBEDDED C DEVELOPER

    JUNIOR LEVEL EMBEDDED C DEVELOPER

    ShiftCode AnalyticsBloomington, MN, United States
    serp_jobs.job_card.full_time
    LOW LEVEL EMBEDDED C DEVELOPMENT EXPEREINCE.Primarily onsite position will allow for some flexibility occasionally for situations and more remote available work after 3 months (1-2 days) depending ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day
    • serp_jobs.job_card.promoted
    Principal Software Engineer

    Principal Software Engineer

    HRU Inc Technical ResourcesMaple Grove, MN, United States
    serp_jobs.job_card.full_time
    Principal Software Engineer - Embedded Systems.We are seeking experienced engineers with a passion for real-time embedded software development. As a Principal Software Engineer, you will plan, lead,...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_1_day