Summer HRT Student Researcher; NSF Grant Job Bridgewater area,Massachusetts USA,Research/Development

Position: Summer HRT Student Researcher (NSF Grant)

Overview

The National Science Foundation (NSF) is an independent federal agency that supports science and engineering in all 50 states and U.S. territories.

This position supports undergraduate summer research in mathematics as part of an NSF-funded project in abstract, applied, and computational harmonic analysis.

Projects and responsibilities

Students may work on one of two research directions:

One project focuses on the classification problem for five-interval wavelet sets. This includes computational and theoretical work related to finite unions of intervals that tile the real line under both translation and dilation.

A second project focuses on a four-point subproblem related to the HRT Conjecture. This work combines advanced mathematical reading with the use of large language models and the Lean proof assistant to help organize, formalize, and verify mathematical arguments.

Students in the second direction will contribute to a careful workflow at the interface of abstract mathematics, symbolic logic, and computation.

Qualifications and expectations

We are especially interested in strong undergraduate students who are mathematically mature, reliable, creative, and excited to work on challenging open problems. Preference will be given to students with strength in proof-based mathematics. Some computational or programming experience is helpful, though not required for every aspect of the work. Students interested in the HRT project should be willing to learn formal proof methods and work carefully with symbolic and computational tools.

Backgrounds

Relevant backgrounds may include real analysis, abstract algebra, harmonic analysis, number theory, mathematical computing, formal methods, theoretical computer science, and scientific writing.

#J-18808-Ljbffr