Ph.D. Student Recruiting

October 2024

Carlo Angiuli

I am a second-year assistant professor at Indiana University looking to recruit two Ph.D. students to start in Fall 2025. My research interests are in the theory and practice of (full-spectrum) dependent types, a topic you can read about in the draft book Principles of Dependent Type Theory that I am coauthoring with Daniel Gratzer.

I am particularly interested in topics such as:

My grant proposal on Univalent Verification of Parameterized Structures was recently funded by the Air Force Office of Scientific Research for $449,387 over three years, and most of this money is earmarked to support Ph.D. students. If any of the above topics sound interesting to you, please send me an email at cangiuli@iu.edu and/or apply! (Please ensure that your email would make significantly less sense if “dependent types” were substituted with “machine learning”—I receive many mass emails that fail this test.)

Details

Indiana University Computer Science. IU is located in Bloomington, Indiana, a picturesque college town with a top-ranked music school and surrounded by forests, (man-made) lakes, and limestone quarries. My students will be part of IU’s large Programming Languages group whose other members study various topics related to functional programming, including gradual typing, mechanized metatheory, and quantum computing.

Application process. The application deadline is December 15, 2024. Be sure to apply to the Ph.D. in Computer Science at Indiana University Bloomington. To ensure that I see your application, mention me by name in your application and consider sending me an email to say hello.

Qualifications. I am looking for students who will be able to learn the necessary background and eventually contribute their own ideas to these and other research projects. Generally speaking, this means I will prefer students with some mathematical maturity, but a wide range of backgrounds is possible, and students absolutely need not come in knowing any particular topic (dependent type theory, category theory, Cubical Agda, etc).

Funding. As is typical in CS Ph.D. programs in the U.S., Ph.D. students receive a stipend and do not pay tuition. Each semester your financial support will come either from my research funds (such as the AFOSR grant mentioned above) or from the department in exchange for serving as a teaching assistant that semester. It is my job to maximize the first category, but students are likely to experience a mix of the two.

Other positions? I am not currently looking to take on any master’s students. I do not have concrete plans to hire a postdoc at the moment, but if you think you would be a good fit—and certainly if I know who you are!—feel free to reach out.