- Amazon (New York, NY)
- …of scientists from around the world. Expertise areas include SAT/SMT solvers, formal methods , program analysis, machine learning, neuro-symbolic AI, and ... Mathematics, or related technical field - Deep understanding of formal methods , formal verification, constraint solving, and knowledge representation… more
- New York University (New York, NY)
- …research in this area -Attending and engaging in discussions in a weekly seminary on formal methods Candidates should have interest and experience in one or more ... Seeking "Expressions of Interest" from Postdoctoral Researchers interested in formal verification of randomized programs to work with Professor Joseph Tassarotti in… 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 a specific geographic area. 3. Establish formal partnerships, through an application and evaluation process, with relevant economic… 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
- GE Vernova (Schenectady, NY)
- …+ Demonstrated expertise in energy storage controls, validation and verification, formal methods , systems integration, advanced controls or related technologies. ... + Technical project leadership experience + Excellent communication and interpersonal skills, capable of engaging with a diverse range of stakeholders and customers. + A proactive approach to learning and staying updated with industry trends, technologies, and… more
- CVS Health (New York, NY)
- …lines of business, etc.). **Required Qualifications** + 3+ years of experience with formal research methods , statistics, and analyses that are common in ... marketing research. + 3+ years of experience designing, planning, analyzing, and delivering successful qualitative and quantitative customer research across a variety of methodologies that meet business partner objectives. + 5 years of overall related work… more
- GovCIO (Albany, NY)
- …customer description, system planning and design, and ensures requirements comply through formal verification methods + Translates high level product development ... strategies into network and system requirement specifications and works with other engineering disciplines to develop lower level detailed implementation requirements + Establishes and coordinates development of standards, practices, and procedures as related… more
- Maritime Administration (Kings Point, NY)
- …by providing ongoing feedback and creating opportunities for learning through both formal and informal methods . Education and Training: Possesses knowledge of ... teaching, training, research, making presentations, lecturing, testing, and other instructional methods . For all types of consideration, experience refers to paid… more
- Bank of America (New York, NY)
- …by providing ongoing feedback and by providing opportunities to learn through formal and informal methods **Key Requirements:** + Strong analytical skills, ... including both analysis of financial data and written reports + 3-5 years of Treasury, Finance, Accounting or Risk Management experience. Note, Diverse backgrounds or experiences welcomed; however knowledge of capital rules and application of the rules and… more
- Maritime Administration (Kings Point, NY)
- …by providing ongoing feedback and by providing opportunities to learn through formal and informal methods . Teamwork - Encourages and facilitates cooperation, ... pride, trust, and group identity; fosters commitment and team spirit ; works with others to achieve goals. Leadership - Influences, motivates, and challenges others: adapts leadership styles to a variety of situations. For all types of consideration,… more