Sort by
Refine Your Search
-
Employer
- California State University, San Bernardino
- University of Texas at Austin
- North Carolina State University
- State University of New York University at Albany
- The University of Chicago
- University of Maryland
- Duke University
- Purdue University
- Texas A&M TVMDL
- University of Kansas
- University of Michigan
- University of Nebraska–Lincoln
- University of Texas at El Paso
- 3 more »
- « less
-
Field
-
California State University, San Bernardino | San Bernardino, California | United States | 7 days ago
Foundations of Clinical Medicine course using active learning methods. Coordinate curriculum (i.e., Course Director) within the Foundations of Clinical Medicine course. Evaluate student performance and provide
-
engineering, static/dynamic software analysis, formal methods, applied mathematics, systems verification and validation, metric development, testbed design, and trusted AI ****This position represents a
-
security, including supply chain illumination and risk assessment Software engineering, static/dynamic software analysis, formal methods, applied mathematics, trusted AI, metric development, testbed design
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions