We invite undergraduate students from all over the world to apply for our exciting research projects led by professors:
The topics include software testing, program analysis, compilers, program repair and synthesis, ML and software engineering (ML4SE and SE4ML), probabilistic programming, distributed systems and operating system reliability, runtime verification, flaky tests, and more. Applications are encouraged until January 21, 2024 (23:59:59pm Anywhere on Earth (AoE) timezone) but will remain open until the positions are filled out.
The collaborations will be mostly remote and unpaid. Your reward is high-quality research experience and potential support for application to PhD/Masters programs. Undergraduates working with us have been accepted to graduate programs at CMU, Columbia, Cornell Tech, EPFL, ETHZ, Georgia Tech, GMU, MIT, National University of Singapore, Northeastern, Northwestern, Princeton, Purdue, Rutgers, Stanford, UC Berkeley, UCLA, UC Santa Cruz, UIUC, UMass Amherst, UPenn, UT Austin, UWashington, UWisconsin, Waterloo, Yale, and more. For some former students, see: