Requisition Number: STFR001485
Division/College: College of Computer and Information Science
FT/PT: Full Time
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: Careers@Northeastern
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.