More Exciting News!!
Dr. Matthew Revelle and Dr. Fangtian Zhong will be joining the Software Engineering and Cybersecurity Lab.
Welcome, Dr. Revelle and Dr. Zhong! Learn more about Dr. Revelle and Dr. Zhong on the Teams tab.
Learn More
Bozeman is an amazing place to live and grow.
We encourage you to learn more and let us know if you have any questions!
Contact us >>
Opportunities
Looking for funding? This may be for you:
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. Over the summer, Dr. Revelle's
email address is [email protected].