Galois’ mission is to assure trust in critical systems that protect the integrity of information in the real world. We currently seek cross disciplinary engineers to join our world-class team responsible for verifying industrial-scale embedded systems and software.
We are particularly looking for researchers interested in unmanned systems, robotics and/or trustworthy and safe autonomous systems. We are looking for engineers with a background in the combination of formal methods, learning, and control theory which Combine physical laws and software principles to serve in complex environments, to guarantee the safety and robustness of feedback control systems that integrate learning-enable components. Skills could include expertise in areas of robotics, nonlinear control, and machine learning.
Skills & Requirements
- Education – Minimum of a Bachelor’s degree in electrical engineering, computer engineering, computer science or equivalent. Preference for candidates with a MS or PhD in previously stated fields. Cross disciplinary education in two or more of the above fields a plus.
- Required Technical Expertise – Must have demonstrated expertise in embedded systems software programming, with a combined theoretical background in Computer Science, Electrical Engineering and Control Theory. Must have hands-on experience developing software using C, C++, Rust, Ada and/or embedded C in control applications for cyber physical systems.
- Desired Technical Expertise – Hands-on experience with real-time operating systems, bare metal hardware and software designs, digital control, state machines and/or digital logic design.
- 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 to deadlines and quality goals.
Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. We apply cutting edge computer science, engineering and mathematics to advance the state of the art in software and hardware trustworthiness.
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.
At Galois, we maintain a unique organizational structure tailored to the needs of the innovative projects we deliver. Our organizational structure is collaborative, one-level flat, and based on principles of well-defined accountabilities and authorities, transparency, and stewardship. We aspire to provide employees with something that matters to them beyond just a paycheck — whether it be opportunities to learn, career growth, a sense of community, or whatever else brings them value as a person.
For more on our organizational structure, visit Life at Galois.
We’re looking for people who can invent, learn, think, and inspire. We reward creativity and thrive on collaboration. If you are interested, please submit your cover letter and resume to us.