About the Opportunity

JOB SUMMARY

The candidate will primarily conduct research on programming with, and

reasoning about, concurrent actor programs with shared state. This

involves both develop semantic models of the language and a

programming system that checks behavioral types and connects the types

with a model checker. The candidate will collaborate with the PI.

MINIMUM QUALIFICATIONS

The candidate is expected to have completed a PhD with a research

focus on actors and concurrency. The ideal candidate is familiar with

the Syndicate programming language (see syndicate-lang.org) and the

SPIN model checker.

KEY RESPONSIBILITIES & ACCOUNTABILITIES

• conduct research
• write papers
• train an undergraduate researcher

The candidate may use some time to prepare a course on concurrent

programming. The details are to be negotiated with the College.

Position Type

Research

Additional Information

Northeastern University considers factors such as candidate work experience, education and skills when extending an offer.  

Northeastern has a comprehensive benefits package for benefit eligible employees. This includes medical, vision, dental, paid time off, tuition assistance, wellness & life, retirement- as well as commuting & transportation. Visit https://hr.northeastern.edu/benefits/ for more information.  

Northeastern University is an equal opportunity employer, seeking to recruit and support a broadly diverse community of faculty and staff.  Northeastern values and celebrates diversity in all its forms and strives to foster an inclusive culture built on respect that affirms inter-group relations and builds cohesion. 

All qualified applicants are encouraged to apply and will receive consideration for employment without regard to race, religion, color, national origin, age, sex, sexual orientation, disability status, or any other  characteristic protected by applicable law.

To learn more about Northeastern University’s commitment and support of diversity and inclusion, please see www.northeastern.edu/diversity .