- NVIDIA (Santa Clara, CA)
- …performance and virtualization support in the SOC + Extensively use Formal Methods to architect and develop high integrity software + Design debugging ... have an exciting opportunity for a talented Senior System Software Engineer to join our dynamic Automotive Team and...strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from… more
- AeroVironment (San Diego, CA)
- **Worker Type** Regular **Job Description** **Summary** As a **Sr. Staff Software Engineer (Applications)** leads and mentors a talented group of engineers in a fast ... one leads the plans, design, development and testing of mission systems flight software . **Position Responsibilities:** + Software development in support of AV's… more
- AeroVironment (Moorpark, CA)
- **Worker Type** Regular **Job Description** **Summary** As a **Principal Software Engineer (Applications)** leads and mentors a talented group of engineers in a fast ... environment. In this role, one oversees plans, design, development and testing of software systems or applications for software enhancements and new products… more
- Abbott (Sylmar, CA)
- … + Experience with Python and/or Java is required + Experience with formal software development methodologies, and source code management is recommended + ... **Sylmar, CA** currently has an opportunity for a **Sr. Software Engineer.** Perform specialized level software project...Class II medical Devices such as ICD's, Pacemakers. Conduct formal reviews of test designs and test scripts to… more
- Lockheed Martin (Palmdale, CA)
- …tasking and other support as necessary\. SWQE will develop and deploy standard software quality procedures and quality engineering methods and instruments\. They ... software lifecycle \(e\.g\. Requirements, Design, Coding, Unit Testing, Formal Testing, Integration & Testing, Release, Configuration Management, Problem… more
- JPMorgan Chase (Palo Alto, CA)
- …opportunity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... push the limits of what's possible. As a Lead Software Engineer - React Developer at JPMorgan Chase within...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more
- NVIDIA (Santa Clara, CA)
- …This position is ideal for an individual passionate about applying advanced formal methods to solve complex firmware verification and hardware-firmware ... Verification Engineer, your primary responsibility will be to use formal methods to prove the correctness and...a plus). + 3+ years of relevant experience in formal verification of hardware, software , or embedded… more
- JPMorgan Chase (Palo Alto, CA)
- …coaching, and talent development **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts and ... develop products and solutions. As a Senior Director of Software Engineering at JPMorgan Chase within the Consumer &...cross-functionally to drive the adoption and implementation of technical methods within various teams and aid the firm in… more
- Sacramento Municipal Utility District (Sacramento, CA)
- …research and resolution; safety policies, practices and procedures; office procedures, methods , and equipment including computers and applicable software ... two levels: Level E is the entry-level where incumbents are provided formal training and/or certification for progression to the journey-level of the classification.… more
- Stanford University (Stanford, CA)
- …on the use of a broad set of cyberinfrastructure systems, tools, and software . * Provide support for Stanford research computing clusters and storage services, cloud ... in research support, including training sessions, testing new data collection methods , and staying abreast of relevant literature. * Contribute to research… more