The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- Technical University of Denmark
- California State University, San Bernardino
- Argonne
- Duke University
- ;
- Nanyang Technological University
- University of Glasgow
- University of Texas at Austin
- Aarhus University
- DAAD
- Heriot Watt University
- NEW YORK UNIVERSITY ABU DHABI
- North Carolina State University
- State University of New York University at Albany
- The University of Chicago
- University of British Columbia
- University of Maryland
- University of Texas at El Paso
- Western Norway University of Applied Sciences
- ; The University of Manchester
- ; University of Cambridge
- AALTO UNIVERSITY
- CEA
- Canadian Association for Neuroscience
- Chalmers University of Technology
- Cornell University
- Durham University
- Erasmus University Rotterdam
- Heidelberg University
- KINGS COLLEGE LONDON
- King's College London
- Ludwig-Maximilians-Universität München •
- Mälardalen University
- NTNU - Norwegian University of Science and Technology
- New York University
- Oak Ridge National Laboratory
- Purdue University
- Technical University of Munich
- Texas A&M TVMDL
- Ulster University
- Umeå University
- University of California, Berkeley
- University of Cambridge
- University of Cincinnati
- University of Kansas
- University of Maryland, Baltimore
- University of Michigan
- University of Minnesota
- University of Nebraska–Lincoln
- University of Newcastle
- University of Nottingham
- University of Oxford
- University of Pennsylvania
- University of Toronto
- University of Virginia
- 47 more »
- « less
-
Field
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
domains and formal methods Applying the developed research ideas and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting
-
developed by our team [1,2] are able to: 1) identify exploitable vulnerabilities at the software level based on these interactions between a software and a microarchitecture, or 2) formally prove the security