News for hackers. Stuff that matters.
Re:Ask HN: Who wants to be hired? (May 2025) by aseg on Thursday May 01, 2025 @08:34PM (#43864952)

  Location: Pasadena, CA
  Remote: No/Yes
  Willing to relocate: Yes
  Technologies: Computer Vision, Code generation, Program Synthesis, Coq, Lean, PyTorch, Julia
  Résumé/CV: https://atharvas.net/cv/
  Email: [email protected]
I'm a PhD student at UT Austin. Mainly looking for internships in companies that are working on code generation, mathematical reasoning (theorem provers), or interested in interpretable (yet performant) computer vision models. I'm pretty familiar with the state of the art in code generation and interpretable computer vision algorithms. Open-ended projects (research based) would be great but I'm happy to work on anything codegen/perception based really.

Some of my recent work:

- Symbolic Regression @ NeurIPS24 (https://trishullab.github.io/lasr-web/)

- Visual Programming @ CVPR25 (https://trishullab.github.io/escher-web/)

Re:Ask HN: Who wants to be hired? (May 2025) by fzysingularity on Thursday May 01, 2025 @11:12PM (#43865835)
Interested in working on VLMs / codegen / agents at VLM Run?

We don’t have an official internship listing yet, but you can check us out at: https://vlm-run.notion.site/vlm-run-hiring-25q1