Looking for funding? Check out this opportunity:

The Cybersecurity Lab at Montana State University is searching for several PhD students 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. These positions are fully funded, tuition waivers and a research stipend are provided, and students will work with Dr. Matt Revelle and other members of the lab.

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. If you are interested in this research area, please do apply, regardless of your prior experience with these topics.

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 [email protected].

 

Wondering what you can do with your MS in cybersecurity degree from MSU?

Cyberseek logo

Cyberseek is a tool that can answer this question and more. Click the button below to put it into action.