Funding opportunities
Searching for several PhD students
If you are interested in this research area, please do apply, regardless of your prior experience with these topics. These positions are fully funded, tuition waivers and a research stipend are provided, and students will work with Dr. Matt Revelle. Current and prospective students interested in this research area are encouraged to contact Dr. Matt Revelle for additional information. Dr. Revelle's email address is matthew.revelle@montana.edu.
Position is open for those interested in developing novel techniques in program analysis,
formal methods, and/or machine learning for automating portions of the vulnerability
discovery process and reasoning over vulnerabilities in computer systems.
Familiarity with some of the following topics is relevant but not required: software
vulnerabilities, vulnerability research, reverse engineering, emulation, data-flow
analysis, type systems, constraint solvers, symbolic execution, abstract interpretation,
graph neural networks, and large language models. This position will support learning
any of these topics and others needed to advance the state of the art.
Want to know what jobs are available in a certain area? Check out this map from the Centers of Academic Excellence (CAE):
Wondering what you can do with your MS in cybersecurity degree from MSU?
Cyberseek is a tool that can answer this question and more.