- Leidos (Arlington, VA)
- **Description** Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who has experience in developing ... to low-level systems, software correctness + Experience applying the application of formal methods in fundamental research contexts, to problems in complex… more
- Leidos (Arlington, VA)
- **Description** Leidos is seeking a motivated intern to support our work in formal methods research . The position will be based out of our Arlington, VA ... candidate will work with other researchers and engineers in research projects focused on developing high-assurance software and systems....of developing test cases that entail the application of formal methods analysis techniques and tools. -… more
- RTX Corporation (Cambridge, MA)
- …Do** **Responsibilities include, but are not limited to:** + Build and advance a Formal Methods -related research area for BBN, having measurable impact on ... this position, you will pursue external funding from government research agencies (eg DARPA, IARPA, DoD Service Labs) to...is an opportunity to exciting new technologies to support Formal Methods for verification of processes, networks,… more
- RTX Corporation (Cambridge, MA)
- …Do** **Responsibilities include, but are not limited to:** + Build and advance a Formal Methods -related research area for BBN having measurable impact on ... this position, you will pursue external funding from government research agencies (eg DARPA, IARPA, DoD Service Labs) to...of an exceptional team while building technologies to support Formal Methods for verification of processes, networks,… more
- RTX Corporation (Cambridge, MA)
- …you will contribute strong software development skills, and apply reasoning and formal methods techniques to significantly enhance security and resilience of ... them more secure and resilient. + Advance network security research at BBN. + Own projects or large components...programming. + Experience with the application and scaling of formal methods techniques such as model checking,… more
- Microsoft Corporation (Redmond, WA)
- …following core areas of research : datacenter networking, distributed systems, formal methods and verification, high performance computing, ML Systems, ... The Microsoft Research Systems and Foundations organization (Redmond, WA) is...wide variety of disciplines, including datacenter networking, distributed systems, formal methods and verification, high performance computing,… more
- Texas A&M University System (Kingsville, TX)
- Job Title Assistant Professor, Performance Psychology, Research Methods , and Statistics Agency Texas A&M University - Kingsville Department Dept. Of Health & ... and performance will be taught on a regular basis, and potentially courses in research methods and applied statistics. Quality performance will be expected in… 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
- ThermoFisher Scientific (Richmond, VA)
- …individual career goals while taking science a step beyond through research , development and delivery of life-changing therapies. With clinical trials conducted ... in 100+ countries and ongoing development of novel frameworks for clinical research through our PPD clinical research portfolio, our work spans laboratory,… more
- University at Albany (Albany, NY)
- …linguistic and literacy barriers is a plus + Is familiar with community engaged research methods and tools like PRA, RRA, and participatory budgeting. + ... (https://www.albany.edu/yji) . The incumbent will: + Plan, organize and conduct mixed methods and participatory research and evaluation that helps inform… more