Remote job description

Overview:

GrammaTech's internship program offers students the opportunity to gain real experience in a friendly, open, and supportive environment. We choose projects based on real needs, and interns work closely with engineers to make sure that projects are completed successfully.

GrammaTech will conduct a series of programming tests and screening interviews in Common Lisp as part of our process. COMMON LISP IS REQURED FOR THIS ROLE. (Please do not apply if you do not have experience with Lisp.

Location: Remote (must be in USA Only) with a possibility (if restrictions are lifted) of being located in our Ithaca, NY office for the summer. (COVID Restrictions will be considered as we get closer to the summer.)

Responsibilities:

Research projects at GrammaTech can take on a wide variety of topics and challenges. Projects focus on software assurance, software protection, reverse engineering, and software transformation. We do both static and dynamic analysis on both source and object code, in order to tackle serious problems with practical solutions.

Potential projects include:

  • Apply compiler optimizations to binaries. Develop some classic compiler optimizations on top of our Binary IR (https://grammatech.github.io/gtirb/)
  • Develop source-code program transformations for refactoring, optimization, and diversification on top of our Software Evolution Library (https://grammatech.github.io/sel)
  • Design and run large-scale experiments evaluating automated software modification and automated software engineering tools

Qualifications:

Required

  • Currently enrolled in a BS, MS, or PhD program
  • Excellent programming skills with Common LISP (required)

Preferred

  • Enrollment in a Computer Science PhD program

GrammaTech, Inc. is an Equal Opportunity/Disability/Veterans/Affirmative Action employer.
Members of underrepresented groups are encouraged to apply.

Summary
GrammaTech, Inc.
Software Engineer Intern - Research (Common Lisp) - Summer 2021 at GrammaTech, Inc. (Ithaca, NY) (allows remote)

Tags: common lisp, lisp, binaries, static analysis, dynamic-analysis

Share or copy

Job alerts