Remote Senior Type System Engineer

Job is Expired
Location: Nationwide
Compensation: Salary
Staff Reviewed: Tue, Dec 31, 2019

Job Summary

A programming language and data-science platform is filling a position for a Remote Senior Type System Engineer.

Individual must be able to fulfill the following responsibilities:

  • Determining and formalising the theoretical underpinnings of the new type system
  • Working with the team to implement the type-checking and type-inference engines
  • Using the type-system's information to improve the interpreter's functionality

Required Skills:

  • Practical and rich experience writing code in a functional programming language
  • Experience working with the theory behind powerful type systems
  • Practical experience building real-world type-systems
  • An awareness of the UX impacts of type-systems
  • Practical experience in building large and complex software systems

COMPLETE JOB DESCRIPTION

The job description is available to subscribers. Subscribe today to get the full benefits of a premium membership with Virtual Vocations. We offer the largest remote database online...

BECOME A PREMIUM MEMBER TO
UNLOCK FULL JOB DETAILS & APPLY

  • ACCESS TO FULL JOB DETAILS AND APPLICATION INFORMATION
  • HUMAN-SCREENED REMOTE JOBS AND EMPLOYERS
  • COURSES, GROUP CAREER COACHING AND RESOURCE DOWNLOADS
  • DISCOUNTED CAREER SERVICES, RESUME WRITING, 1:1 COACHING AND MORE
  • EXCELLENT CUSTOMER SUPPORT FOR YOUR JOB SEARCH