1 month ago Be among the first 25 applicants 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 across various functional areas. Our organization is highly collaborative, emphasizing working from first principles, transparency, building deep trust, learning, innovating, and creating space for you to be authentically you. Our unique organizational structure enables us to adapt to the needs of the projects we deliver. We are employee-owned and aim to provide employees with the freedom to pursue passions both in and out of work—whether through learning opportunities, career growth, community, or personal values. Research Engineers at Galois design and develop advanced technologies for safety- and security-critical systems, networks, and applications. Engineers work in small teams and must effectively interact with clients, partners, and colleagues in a collaborative, challenging environment. Our research engineers work in small teams and interact with clients, partners, and employees in a highly collaborative environment. We seek individuals 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 Requirements gathering: Engaging the client in discussions to refine needs and suggest means to meet those needs. Architecture and design: Creating high-level architectural descriptions of systems, considering assurance, and designing prototypes with formal methods in mind. Implementation: Extending prototypes into finished products, ensuring robustness and usability. Software Assurance: Using tools and techniques like static analysis, property-based testing, model-checking, or symbolic execution to analyze security and correctness properties. Testing and validation: Conducting system, unit, and regression tests, along with semi-formal validation and verification. Technology research and development: Conducting R&D of cutting-edge technology and integrating it into prototypes. Technical infrastructure development: Developing tools and shared libraries for internal use. Key Qualifications Education: BS in computer science, electrical engineering, or mathematics. Required Technical Expertise: Experience building high-performance, trustworthy cyber-physical software for mission-critical applications. Proficiency with C, C++, or Rust. Willingness to learn advanced analysis tools like Kani, Frama-C, Verus, or Astree. Experience in lab environments with SWIL/HWIL capabilities. Ability to prototype and operationalize features in a small team. Eagerness to learn emerging tools and techniques from R&D community. Desired Technical Expertise: Experience with control algorithms in MATLAB/Simulink or SCADE. Understanding of formal verification principles and practices. Required General Skills: Strong communication skills for working with customers. Self-motivated with good time and quality management. Location This role requires in-person work at one of Galois' offices in Arlington, VA, Dayton, OH, Minneapolis, MN, or Portland, OR. Security and Citizenship Requirement The employee must hold and retain a Secret security clearance. The candidate must not require an export license for technology and software access. Benefits Employee Stock Ownership Plan (ESOP) 401(k) with 5% employer match Fully paid medical, dental, and vision plans Health Savings Account with employer contributions Mental health support 5 weeks paid time off + 9 holidays 16 weeks paid parental leave 1 week paid #J-18808-Ljbffr Galois, Inc.
...Assured Nursing is seeking a travel Telemetry Technician for a travel job in Stevens Point, Wisconsin. Job Description & Requirements... ...-7:30a, 19:00:00-07:30:00, 12.00-3 position in the Tele Tech/ EKG . The ideal candidate will possess a current state license as...
Position Type:Substitute/School Nurse SubstituteDate Posted:10/29/2024Location:District WideClosing Date:OpenCoventry Public Schools... ...equivalent of at least one year of full-time employment as an RN within the past five years. Familiarity with state health...
Silver Air is looking for VIP flight attendants to be based in Van Nuys, CA.Required skills A college degree is highly desirable.Demonstrated... ...of VVIP clients.A minimum of five years of experience as a Corporate Cabin Attendant is required.Exceptional communication...
...Description Job Description Rocksteady is a first-rate direct marketing firm in Philadelphia with a zeal for promotions and brand... ..., keen, and career-oriented individuals to fill our available Entry Level Marketing Assistant position. Our Entry Level Marketing Assistant...
...Job Title: Software Development Engineer (IBM iSeries AS400) Location: Coral Springs, Florida (Onsite) Contract: 06+ months (Contract to hire) Job Description: This position requires strong technical background knowledge of the tools and services plus good communication...