Positions

Research faculty, postdoc, PhD student, and visitor positions

We are recruiting research faculty members, postdoctoral scholars, PhD students, visitors, and collaborators interested in formal methods for numerical software, program analysis, and optimization‑driven formal verification as part of DARPA-funded projects. Potential topics include:

• Advancing Augmented Weak Distance (AWD) for bounds checking and safety verification.
• Extending MESA to concurrency, richer properties, and performance‑critical code.
• Building end‑to‑end tooling (LLVM‑based instrumentation, optimizers, benchmarks).

If you are excited about this space, please send a brief note (including background, interests, and links to relevant papers/code) to the contacts listed on the Contacts page. Please include “MESA Positions” in the subject line.