[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We invite applications for an {OCaml, Coq} programmer supporting the Frenetic Project. See the following URL or the text below for further details: https://cornellu.taleo.net/careersection/10164/jobdetail.ftl?job=368072 -N Description 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. Qualifications 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 position.