- Insmed Incorporated (San Diego, CA)
- …and analyze images using digital pathology and imaging software ; quantify biomarker expression patterns and distribution.Maintain meticulous documentation ... science environments. o Demonstrated expertise in IHC, ISH, and advanced histology methods applied to gene therapy or molecular pathology. o Familiarity with… more
- Hampton Roads Transit (Norfolk, VA)
- …in observing and expressing established process and procedures in formal documents; collecting and representing system specifications, requirements, testing and ... procedures, processes, and development of work measurements to enhances methods , product improvement, work standards, efficiency and/or the decision-making process… more
- Taft College (Taft, CA)
- …on research, best practices, and new initiatives regarding tutoring, academic success methods , and supplemental instruction, and share the knowledge with the campus ... degree from an accredited college or university and one year of formal training, internship, or leadership experience reasonably related to the administrative… more
- Metrolink (CA)
- …incumbent has some latitude for independent judgment and may vary work methods and procedures, but usually within prescribed parameters. SUPERVISION EXERCISED AND ... RECEIVED Receives general supervision from departmental supervisory roles No formal supervisory responsibilities, but may provide occasional direction to lower-level… more
- Loyola University Chicago (Chicago, IL)
- …engineering, software security and trustworthy systems, quality assurance and testing, software architecture, formal methods , and research addressing any ... We value diverse research methodologies, including empirical studies, mining software repositories, controlled experiments, qualitative methods , human factors… more
- MIT Lincoln Laboratory (Lexington, MA)
- …to our impact. Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems ... Secure programming in languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. + Technical mentoring and leadership, including… more
- Leidos (Arlington, VA)
- … formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. If you're looking for ... seeking a motivated intern to support our work in formal methods research. The position will be...and engineers in research projects focused on developing high-assurance software and systems. Tasks involved in this research include… more
- 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
- COLSA Corporation (Shalimar, FL)
- …reviews, and analyzes test plans, procedures, metrics, and reports throughout the software development life cycle. Develops and writes methods of tests, ... from on-the-job training with other team members , to formal courses for unique technology areas. The team is...unique technology areas. The team is searching for a software tester to support the 45th Test Squadron, the… 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