Forward Networks is looking for a Programming Languages Software Engineer. This role will help drive the development and delivery of a suite of domain-specific languages and associated tools. These languages/tools help deliver a reliable, robust experience with Forward Networks’ network verification and assurance software. The Programming Languages Engineer will apply programming language concepts to help develop the state-of-the-art network verification platform and improve how network operators manage networks today.
Deliver a suite of domain-specific languages used in the development of Forward Enterprise
Build and support tools associated with the above domain-specific languages
Experience and comfort programming in Java and at least one functional programming language, such as OCaml, Haskell, Scala or Scheme.
At least 3 years industry experience on programming languages or compilers or database query languages OR an advanced degree in the area.
Candidate should have experience in one or more of the following areas:
Design and implementation (via interpretation, compilation or analysis) of domain specific languages, either stand-alone or embedded within a host language
Familiarity or experience with parsing techniques and tools; for example, parser generators (Lex, YACC, ANTLR, Bison, etc.) or parser combinator libraries (e.g., Parsec, etc.)
Familiarity with PL concepts like concrete and abstract syntax, denotational and operational semantics, type systems and control and data flow analysis
Experience implementing language tooling, such as auto-completion and code navigation features, or debuggers