- Insmed Incorporated (San Diego, CA)
- …drug program.Key Responsibilities:Responsibilities include developing and optimizing analytical methods using techniques like HPLC, Capillary Electrophoresis, ELISA, ... will only pay a fee to agencies if a formal agreement between Insmed and the agency has been...please contact us directly to be considered for a formal agreement.Insmed is committed to providing access, equal opportunity,… more
- Insmed Incorporated (San Diego, CA)
- …quality control, quality assurance, and manufacturing teams.Exercise judgment in selecting methods , techniques and evaluation criteria to obtain high quality results ... will only pay a fee to agencies if a formal agreement between Insmed and the agency has been...please contact us directly to be considered for a formal agreement.Insmed is committed to providing access, equal opportunity,… more
- Merck & Co. (Rahway, NJ)
- …strategic direction on programs to ensure delivery of high-quality products, test methods , and robust manufacturing processes for both clinical and commercial use. ... interests and business goals across stakeholders. Able to influence without formal authority; ability to influence and present ideas to senior leadership.Motivation… more
- Insmed Incorporated (San Diego, CA)
- …both in vitro and from in vivo samples. Additionally, this person will document methods and studies and participate in the technical transfer of assays to third ... will only pay a fee to agencies if a formal agreement between Insmed and the agency has been...please contact us directly to be considered for a formal agreement.Insmed is committed to providing access, equal opportunity,… more
- Novo Nordisk Inc. (Plainsboro, NJ)
- …as well as secondary data analysis , key conclusions and recommendations through formal and informal channels Leadership And Development Capable of assuming role of ... MR approaches, techniques, consolidated presentation development, business issue identification and methods for addressing help ensure that projects are completed on… more
- Novo Nordisk Inc. (Plainsboro, NJ)
- …leadership LEGAL AND COMPLIANCE STANDARDS Ensure self and team follows formal protocols and policies for the collection, assessment, classification, storage, and ... identify better ways of doing things and getting others excited about improved methods and procedures Proven analytical skills and learning agility to coach and… more
- RTX Corporation (Cambridge, MA)
- …Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development skills and an interest in ... you will contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of… more
- Qualcomm (Santa Clara, CA)
- …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 ... in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model checking or theorem… more
- Leidos (Arlington, VA)
- …support 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
- Lockheed Martin (Arlington, VA)
- …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... * Conducted research in at least one more adjacent area such as formal verification/ methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance and… more
- Amazon (Seattle, WA)
- …Scientist at Amazon Prime Air you will: Develop the value proposition for formal verification, runtime assurance, and other methods for software under ... Science, Mathematics, or Computer Engineering - Experience in RTL formal verification methods - Creating and validating mathematical models of the behavior… more
- Leidos (Dayton, OH)
- …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... future opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under… more
- Lockheed Martin (Arlington, VA)
- …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
- City of New York (New York, NY)
- …standard reporting tools and obtain regular partner and resident feedback through formal methods . Monitor performance of ongoing initiatives (eg volume of ... stakeholders and resources within the specific geographic area. 3. Establish formal partnerships, through an application and evaluation process, with relevant… more
- KBR (Chantilly, VA)
- …and apply current verification and validation paradigms, including model testing, simulation, and formal methods , to ensure the accuracy and reliability of AI ... with current verification and validation paradigms, including model testing, simulation, and formal methods . + Proficiency in programming languages such as… more
- The Walt Disney Company (Burbank, CA)
- …+ Graduate degree (Master's or Doctorate)-with significant graduate-level academic exposure to formal or quantitative methods and 3+ years of experience + ... design + Developing and interpreting the results of new formal models to forecast or predict business outcomes +...outcomes + Developing and interpreting the results of new formal models (eg marketing mix models, attribution models, etc.)… more
- Leonardo DRS, Inc. (Frederick, MD)
- …services, operating systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using ... to solve software issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software engineering activities in… more
- Google (Mountain View, CA)
- …PyTorch or similar. + Experience or interest in hardware verification technologies, formal methods , theorem proving, and hardware testing methodologies. + ... are the highest priority. About the Team: We develop and apply state-of-the-art AI methods and models to Chip Design and work closely with research and product teams… more
- LOC Performance Products, Inc (Slidell, LA)
- …process measurement, and development and implementation of planned process changes using formal , structured methods . We are looking for a Quality Engineer ... of products to ensure that engineering documentation is consistent with manufacturing methods employed. + Report, coordinate and chair APQP meetings, complete the… more
- Houston Methodist (Houston, TX)
- …Assists in the training and development of more junior Business Analysts through formal and informal methods . **The Sr Business Analyst for financial planning ... in order to exceed clients' expectations. Provides training for team members through formal and informal methods . + Fosters relationships and engages in regular… more
