Apply Now

Job Summary

Runtime exceptions, such as ArithmeticException and ArrayIndexOutOfBoundsException, remain a primary source of software fragility, leading to system crashes and significant economic costs. While traditional exception handling manages these failures at runtime, it does not prevent them, and existing static analysis tools often suffer from scalability issues and false positives. Inspired by the success of Google Kotlin's type system in eliminating NullPointerException at compile time, this research proposes to extend this philosophy of "type-level prevention" to a broader class of value-dependent errors. We will design and implement a novel type system, integrating a practical subset of dependent types into a mainstream, object-oriented context like Java or Kotlin. 

Responsibilities*Contribute to the re-design, and implementation of part of an open source software projectWeekly research meeting Work well in a team of researchers and industrial collaborators.Required Qualifications*Must be a UM-Flint undergraduate student.Experience in computing programming using Object-oriented or functional languagesFamiliar with Java and Kotlin programming Programming Language design and implementation, especially complier constructions Desired Qualifications*Experience with Open source software project Being a good team player and excellent communicatorModes of Work

Hybrid
The work requirements allow both onsite and offsite work and an employee has an expected recurring onsite presence. On occasion, the employee may be required and must be available to work onsite more frequently if necessitated by unit leadership or their designee and/or the job requirements.

Positions that are eligible for hybrid or mobile/remote work mode are at the discretion of the hiring department. Work agreements are reviewed annually at a minimum and are subject to change at any time, and for any reason, throughout the course of employment. Learn more about the work modes.

Background Screening

The University of Michigan conducts background checks on all job candidates upon acceptance of a contingent offer and may use a third party administrator to conduct background checks.  Background checks are performed in compliance with the Fair Credit Reporting Act.

Application Deadline

Job openings are posted for a minimum of three calendar days.  The review and selection process may begin as early as the fourth day after posting. This opening may be removed from posting boards and filled anytime after the minimum posting period has ended.

U-M EEO Statement

The University of Michigan is an equal employment opportunity employer.