PhD Student or Post-Doc Positions Available for Program Analysis and Compilers

by Paul Gazzillo, Feb. 1, 2019

We are now acceptPhD Students or Post-Doc Positions Available for Program Analysis and Compilersing funded PhD students or post-docs for research in program analysis and compilers on an NSF funded project in beautiful Orlando at the University of Central Florida. PhD students receive free tuition as well as a research stipend.

PhD Students or Post-Doc Positions Available for Program Analysis and Compilers

We are now accepting funded PhD students or post-docs for research in program analysis and compilers on an NSF funded project in beautiful Orlando at the University of Central Florida.  PhD students receive free tuition as well as a research stipend.

Our main project involves developing program analysis techniques for highly-configurable systems software.  Highly-configurable systems, e.g., the Linux kernel, form our most critical infrastructure, underpinning everything from high-performance computing clusters to Internet-of-things devices.  Keeping these systems secure and reliable with automated tools is essential. However, their high degree of configurability leaves most critical software without comprehensive tool support. We develop novel algorithms and tools that scale to the massive configuration space of such real-world software.

Relevant research areas include:

  • program languages

  • program analysis

  • compilers

  • software engineering

  • systems

For PhD students:

  • Some interest in static analysis and compilers

  • Interest in empirical research

  • Solid programming ability, particularly in C++ and/or Java

  • (Recommended) a course in compilers or program analysis

  • (Optional) background in data analysis and statistics

  • (Optional) experience with compilers or static analysis

Requirements for Post-Docs:

  • Some experience in hacking on compiler framework, particularly Clang/LLVM

  • Some experience with static analysis tools

  • Knowledge of the C development toolchain, including gcc and make, as well as the *nix programming environment

  • (Optional) some familiarity with C systems software, e.g., Linux, openssl, etc.

Please find more information about the lead researcher and his projects at https://paulgazzillo.com

Find more information about the university at https://www.cs.ucf.edu