Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Nature Careers
- California State University, San Bernardino
- University of Texas at Austin
- University of Glasgow
- University of Oslo
- ;
- Heriot Watt University
- North Carolina State University
- State University of New York University at Albany
- The University of Chicago
- University of Maryland
- Aarhus University
- CEA
- Cornell University
- Duke University
- Erasmus University Rotterdam
- Purdue University
- Technical University of Denmark
- Texas A&M TVMDL
- Ulster University
- University of British Columbia
- University of California, Berkeley
- University of Cincinnati
- University of Kansas
- University of Maryland, Baltimore
- University of Michigan
- University of Nebraska–Lincoln
- University of Oxford
- University of Pennsylvania
- University of Sheffield
- University of Texas at El Paso
- University of Toronto
- 22 more »
- « less
-
Field
-
security, including supply chain illumination and risk assessment Software engineering, static/dynamic software analysis, formal methods, applied mathematics, trusted AI, metric development, testbed design
-
Learning and Syntegrative Education are also desirable. As appropriate, the Educational Developer will conduct research on teaching and learning, develop pedagogical resources, and lead workshops and other
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions