- Insmed Incorporated (San Diego, CA)
- …drug program.Key Responsibilities:Responsibilities include developing and optimizing analytical methods using techniques like HPLC, Capillary Electrophoresis, ELISA, ... detailed records. Analyzing data, preparing reports, and using statistical software for trend analysis are also key duties. Collaboration...will only pay a fee to agencies if a formal agreement between Insmed and the agency has been… more
- RTX Corporation (Cambridge, MA)
- …team:** RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development ... strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic… more
- RTX Corporation (Cambridge, MA)
- …Technologies** team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/ Software Engineers experience to join ... as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and analyze… more
- Qualcomm (Santa Clara, CA)
- …+ Degree in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model ... with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the… more
- Leidos (Arlington, VA)
- …the development of high-assurance, resilient software . + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... the topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree in computer… more
- Amazon (Seattle, WA)
- …the value proposition for formal verification, runtime assurance, and other methods for software under development and drive building these approaches into ... runtime assurance, new testing approaches, metric collection, and other methods to software systems. You will be...every area of our software development processes. Write, validate, and maintain … more
- Northrop Grumman (Manhattan Beach, CA)
- … software deficiencies * Perform integration testing, regression testing, and formal qualification testing in an agile software development environment * ... with the lead test engineer and a team of software developers to establish and develop test methods...data analysis, and develop test documentation * Participate in formal testing events, customer meetings, and software … more
- Leonardo DRS, Inc. (Frederick, MD)
- …systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using technologies such ... issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software... formal deliveries. Job focus areas include leading software engineering activities in software architecture applied… more
- JPMorgan Chase (Columbus, OH)
- …equity, inclusion, and respect **Required qualifications, capabilities, and skills** + Formal training or certification on ** software engineering** concepts and ... and architecture, including migration of applications to a public cloud environment + Formal training or certification on software engineering concepts and 5+… more
- Northrop Grumman (Melbourne, FL)
- … formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex integrations problems. ... **Northrop Grumman Aeronautics Systems Sector** is seeking a **Principal Engineer Software /Senior Principal Engineer Software ** to join our **Global Surveillance… more
- Cummins Inc. (Columbus, IN)
- …EPA 2027 regulations. This role requires gaining proficiency in Aftertreatment (AT) software controls and diagnostic features to provide inputs to customers during ... meet AT system performance design targets. The individual will generate control software feature requirements as necessary, working closely with ATI Calibration and… more
- Leidos (Huntsville, AL)
- … test infrastructures and frameworks, integration testing, informal manual testing, formal software qualification testing, fielding and support, and maintenance ... software quality engineering concepts. + Have experience developing test methods and procedures for software products using scripting, compiled languages,… more
- ThermoFisher Scientific (Indianapolis, IN)
- …staff and other departments, and requires knowledge of data analysis methods , software development, bioinformatics, statistics, molecular biology, as well ... field AND 6 years of related work experience + Experience developing analytical software tools using machine learning methods and programming languages, such as… more
- Amazon (Redmond, WA)
- …Management role with cross-functional responsibilities. - Understanding of the requirements and methods for proper handling of satellite formal test articles and ... project management of system-level developments with focus on multiple functionality Software deliverables, test plans and test validation at Satellite level. This… more
- JPMorgan Chase (Plano, TX)
- …equity, 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 at JPMorgan Chase within the Consumer &...5+ years applied experience + Formal training or certification on engineering concepts and 8+… more
- JPMorgan Chase (Chicago, IL)
- …innovation and continuous improvement **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts ... push the limits of what's possible. As a Lead Software Engineer at JPMorganChase within the Employee Platforms, you...methods + Proficient in all aspects of the Software Development Life Cycle + Advanced understanding of agile… more
- Northrop Grumman (Roy, UT)
- …life and launch your career today. Northrop Grumman Defense Systems is seeking ** Software Engineer.** This position can be located in **Roy, Utah** or **Huntsville, ... Get To Do:** Design, develop, document, test and debug applications software and systems that contain logical and mathematical solutions. Conduct multidisciplinary… more
- Abbott (San Diego, CA)
- …like React is a plus + Progressively responsible experience across various software engineering disciplines and programming methods + Intermediate to moderate ... working mothers, female executives, and scientists. **The Opportunity** The **Sr Embedded Software Engineer** works out of our **San Diego, CA** location in the… more
- Leidos (San Diego, CA)
- …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... for a Degree._ + Six years of experience in software development and testing. + Formal test...experience in software development and testing. + Formal test background with demonstrated experience with test automation… more
- Oshkosh Corporation (Greencastle, PA)
- …vehicles and accessories-can be found all over the world.** The Engineer - Software team member will support the implementation and test of high-quality vehicle ... control software . The team member must be able to write...engineers in the preparation of basic plans, designs, computation methods , and/or reporting. + Under close supervision, work on… more
