Research Lead in Program Analysis & Verification

A prominent research university in Virginia is seeking a Research Associate Professor to conduct research at the intersection of program analysis and formal verification. The successful candidate will have a strong background in formal verification and program analysis, and a track record of published research. This position requires excellent communication skills and the ability to work independently. Opportunities for funding proposals and mentoring students are also part of the role.
#J-18808-Ljbffr