Multiple funded PhD positions in program analysis and software engineering

by Paul Gazzillo, May 11, 2020

Funded PhD positions for students with an excellent programming background at the University of Central Florida in Orlando. Details here:

Several PhD positions are available in the areas of program analysis and software engineering for projects funded by the US National Science Foundation.  Projects involve the analysis of configurable systems software and the use of automated reasoning for software configuration security and reliability.  We are looking for students with a strong programming background.

The University of Central Florida is located in sunny Orlando.  A subtropical climate means sunny, warm weather year-round.  This tourist-friendly city makes for very easy travel, with many computer science conferences held in the city.

See more details about the projects and application instructions here: