- 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 ... contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security...hypotheses and inform next steps + Advance network security research at BBN. + Own projects or large components… more
- RTX Corporation (Cambridge, MA)
- …and performance of such systems. **What You Will Do** + Build and advance a Formal Methods -related research area for BBN having measurable impact on business ... team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/Software Engineers experience to join exciting… more
- Microsoft Corporation (Redmond, WA)
- …extend the state-of-the-art of research in the broad fields of formal methods , high-performance computing, ML systems, programming languages, and software ... Research Internships at Microsoft provide a dynamic environment...to submit your letter. **Preferred Qualifications** + Expertise in formal methods , including experience improving theorem provers… more
- CUNY (New York, NY)
- …working in an applied research setting. * Formal training in research and evaluation methods and a strong understanding of statistical concepts. * ... intelligence tools for reporting, and employs rigorous qualitative and quantitative research methods , and approach their work with a focus on leveraging data… more
- Leidos (San Diego, CA)
- …and shaping future opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to problems in ... + FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order… more
- UKG (Ultimate Kronos Group) (Atlanta, GA)
- …looking for a talented and passionate Sr. User Experience Researcher to lead mixed methods research that informs investments across UKG's AI portfolio. You will ... scale and demonstrate the use of a variety of research methods (log analytics, longitudinal programs, A/B...UKG does not make job offers outside of our formal hiring process. To help protect yourself against potential… more
- Emory Healthcare/Emory University (Oxford, GA)
- …at a teaching-intensive institution, receive training in inclusive pedagogy, support for research and grant writing, and have opportunities to engage in the ... data analysis in R that does not require any formal computer science background to teach). The latter course...latter course is housed in the Quantitative Theory and Methods (QTM) department. The teaching load for this position… more
- Lockheed Martin (Arlington, VA)
- …areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... Electrical Engineering, or related areas with strong mathematical background * Conducted research primarily in neuro\-symbolic AI, combining methods such as… more
- ThermoFisher Scientific (Middleton, WI)
- …(GMP) Safety Standards, Office **Job Description** **Position** : Senior Research Scientist **Location** : Middleton, Wisconsin **Department** : Biopharmaceutical ... individual career goals while taking science a step beyond through research , development and delivery of life-changing therapies. With clinical trials conducted… more
- Google (Boulder, CO)
- …(LLMs). + Experience with program analysis, program synthesis, automated program repair, formal methods , or designing developer tools. + Experience designing and ... domains like machine learning, natural language processing, program analysis, program repair, formal methods for addressing ambiguous tasks (such as semantic bug… more
Recent Jobs
-
Senior Full-Stack Java Developer w/ ArcGIS
- vaco (Murphy, TX)
-
Student Anatomy Lab Technician - Science
- Oklahoma State University (Oklahoma City, OK)
-
Adjunct Professor - Early Care & Child Development
- Oklahoma State University (Oklahoma City, OK)