Software Systems Engineer involved in defining SW development processes for safety-critical software. Collaborating with engineers on AI Autonomy software and RTOS components for autonomous vehicles.
Responsibilities
Develop and employ formal languages and models to describe intended software/system behaviors.
Leverage third-party or build in-house tools to generate formal design and validation tests.
Implement and integrate tools to verify that software/systems behave as intended.
Integrate analysis and verification into existing processes, workflows, tools, and other infrastructure.
Lead various systems engineering activities that are essential for a successful launch of safety-critical software on a self-driving vehicle.
Requirements
Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 1+ year of experience.
Strong problem-solving, leadership, and mentoring skills in a fast-paced, safety-focused environment.
Strong formal methods background with good understanding of logic, formal languages, automata theory, and model checking
Experience applying modeling and analysis techniques to software systems.
Strong programming skills in Python and C++ in real-time safety-critical applications and programming language fundamentals, object-oriented programming, memory management, performance, etc.
Benefits
paid time off (e.g. sick leave, vacation, bereavement)
unpaid time off
Zoox Stock Appreciation Rights
Amazon RSUs
health insurance
long-term care insurance
long-term and short-term disability insurance
life insurance
Job title
Software Systems Engineer – Software Health and Complexity
Associate Systems Developer supporting application development and maintenance at Thermo Fisher Scientific. Involves coding, testing, and collaborating with senior developers for technical requirements in a hybrid work environment.
Senior Mission System Engineer developing mission critical software applications with agile teams. Collaborating with users, stakeholders, and engineers to create efficient software solutions.
Nuclear Systems Engineer at Frazer - Nash solving complex engineering problems in the nuclear sector. Collaborates across teams to deliver innovative solutions on challenging projects.
Systems Engineering Manager leading a multidisciplinary team for Leidos' Air Traffic Business Area. Focused on developing mission - critical automation solutions in a hybrid cloud architecture.
IT SecOps System Engineer responsible for proactive security and collaboration across teams. Safeguarding on - premises and cloud environments in a 24/7 global ITSecOps practice.
Systems Engineer III coordinating HVAC control systems installation and programming for Mesa Energy Systems. Leading commissioning efforts and developing sequences of operations over 10 years of experience required.
Internship in Model - Based Systems Engineering for aerospace at Capgemini Engineering. Engaging in innovative system design and collaborative stakeholder workshops.
Systems Analyst managing service inventory planning for semiconductor manufacturing. Focused on data management, business analysis, and continuous improvement in a dynamic environment.
Windows Domain System Engineer managing Windows Server environments and supporting system performance at HII. Collaborating with virtualization engineers and providing Tier 2/3 technical support while ensuring security compliance.
IT Systems Analyst supporting the analysis, administration, and integration of systems at Truliant. Collaborating with business and IT teams to enhance workflows and system performance.