Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Glasgow
- California State University, San Bernardino
- Nature Careers
- Université catholique de Louvain
- University of Texas at Austin
- ;
- IRIT, Université de Toulouse
- KINGS COLLEGE LONDON
- North Carolina State University
- State University of New York University at Albany
- Universidad de Alicante
- University of Maryland
- University of Sheffield
- Aarhus University
- CEA
- Centro de Computação Grafica
- Duke University
- Faculdade de Medicina da Universidade do Porto
- Faculty of forestry and wood technology
- Instituto Superior de Engenharia do Porto
- King's College London
- Medical Research Council
- Stanford University
- Technical University of Denmark
- Texas A&M TVMDL
- The University of Chicago
- Umeå University
- Umeå universitet
- University of Aveiro
- University of British Columbia
- University of Kansas
- University of Michigan
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of Newcastle
- University of Oslo
- University of Texas at El Paso
- University of Toronto
- Université de Toulouse
- 29 more »
- « less
-
Field
-
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