[TYPES/announce] Research position at Cornell

Nate Foster jnfoster at cs.cornell.edu
Mon Sep 30 12:24:43 EDT 2013

We invite applications for an {OCaml, Coq} programmer supporting the
Frenetic Project. See the following URL or the text below for further




The Programmer Analyst will, as a staff member of the Department of
Computer Science, support the Frenetic project team and its objective to
develop a high-level programming language for software-defined networks.
Under the supervision of the Principal Investigators (PIs) and in
collaboration with researchers and graduate students, the programmer will
design and develop the Frenetic language, along with its associated tools
and applications. The programmer will design, develop, test, document and
maintain the software they create. This will entail designing and
implementing compiles and run-time systems using OCaml, Coq and Z3;
developing infrastructure for interfacing with software and hardware
OpenFlow switches; conducting tests and simulations using the server
cluster maintained by the project; and building applications that leverage
the features provided in Frenetic to enable novel functionality. The end
result will be a high-fidelity functional end-to-end working prototype that
incorporates agreed upon interfaces and designs.

Additionally, the programmer will assume responsibility for managing all
project databases, source code repositories, servers, Wikis, mailing lists,
websites and other IT resources associated with the project. The supervisor
will assign specific tasks. General tasks are to be performed by the
appointee on his or her own initiative. Regular meetings will be held as
needed to review work, discuss problems and plan future efforts.

This is a one-year term position and will be based either in Ithaca, NY or
New York, NY.


The successful candidate will have: Bachelors degree in Computer Science
with 2-3 years experience or equivalent combination. Experience with OCaml;
familiarity with Coq preferred. Prior experience building production
software and familiarity with professional software development
methods. Background check may be required. No relocation assistance is
provided for this position. Visa sponsorship is not available for this
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130930/4c3da784/attachment.html>

More information about the Types-announce mailing list