Boston, Suffolk County / Mission Hill, Suffolk County / Roxbury, Suffolk County / Roxbury Crossing, Suffolk County
Apr 18, 2014
Administrative Jobs
Technology, IT Support & Training

Northeastern University


Requisition Number: STFR001485

Division/College: College of Computer and Information Science

FT/PT: Full Time

Grade: 10

Position Summary:

The programmer is expected to turn a vague informal description of a real-world programming language into a full-flegded Redex model and to work together with PhD students on checking formal properties for this model. The programmer will also work on a re-implementation of this language in Racket’s syntax system and on a suite of (prototypes of) IDE tools for this Racket version of the language.


The candidate has a PhD in CS with a solid background in programming languages and networking. The ideal candidate is thoroughly familiar with the Redex language modeling system and the Racket programming language. In addition, the candidate must have knowledge of/experience with implementing and checking network protocols. Knowledge of formal methods is a plus.

To be considered for this position please visit our web site and apply on line at the following link:

Northeastern University is an Equal Opportunity, Affirmative Action Educational Institution and Employer, Title IX University. Northeastern University particularly welcomes applications from minorities, women and persons with disabilities. Northeastern University is an E-Verify Employer.