Software Engineer Intern - Research (Common Lisp) - Summer 2021

GrammaTech, Inc.
Internship common-lisp lisp binaries static-analysis dynamic-analysis
Software Development
United States
Hiring from: United States

About this job


Location options: Remote
Job type: Internship
Experience level: Student
Industry: Computer Software, Cybersecurity, Security Software
Company size: 51–200 people
Company type: Private



Technologies

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



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.



How to apply

To apply for this job you need to authorize on our website. If you don't have an account yet, please register.

Post a resume

Similar jobs

About this job Location options: RemoteJob type: Full-timeExperience level: LeadRole: Data Scientist, Product ManagerIndustry: Information Technology, Software Development, Software Development / EngineeringCompany size: 1k–5k peopleCompany type: PrivateTechnologies hadoop, r, apache-spark Job description Product Manager Consultant - Data Science Operations and...
hadoop r apache-spark
Software Development
Brazil
Hiring from: Brazil
About this job Location options: RemoteJob type: Full-timeExperience level: SeniorIndustry: Cloud-Based Solutions, SaaS, TelecommunicationsCompany size: 201–500 peopleCompany type: PrivateTechnologies go, mysql Job description Join our team either remotely or in our HQ in Amsterdam. This role can be based in...
go mysql
Software Development
No Location
Hiring from: Europe
Authority Partners
Full time
About this job Location options: RemoteJob type: Full-timeExperience level: Senior, LeadRole: Product ManagerIndustry: Information Technology, Software Development, Software Development / EngineeringCompany size: 201–500 peopleCompany type: PrivateTechnologies project-management, business-logic, sdlc Job description DESCRIPTION:Authority Partners is looking for an experienced Business Analyst to...
project-management business-logic sdlc
Software Development
No Location
Hiring from: Europe, South Asia, Middle East, North America, South America, North Africa, Southern Africa