We are looking for a software engineer to fill a two-year full-time position at
Inria Nancy - Grand-Est, to work on a successor to Nitpick: a stand-alone
higher-order model finder, written in OCaml. The tool will target the hundreds
of users of Isabelle/HOL, HOL4, HOL Light, and similar systems, to help them
debug their specifications. This model finder will be based on an SMT solver.
Solid bases in functional programming and experience with logic are
prerequisites.
This position can be interesting for an outgoing Ph.D. student or a strong
programmer with a master's degree. Neither knowledge of French nor European
citizenship are required. The monthly salary bracket is about 2600 to 3200 EUR
gross for Ph.D. holders (otherwise: 2100 to 2600 EUR). See
http://pages.cs.miami.edu/~geoff/Conferences/AAR//Newsletters/111-2015-06.html#nancy
for more details or contact me directly.
Regards,
Jasmin
------------------------------------------------------------------------------
Monitor 25 network devices or servers for free with OpManager!
OpManager is web-based network management software that monitors
network devices and physical & virtual servers, alerts via email & sms
for fault. Monitor 25 devices for free with no restriction. Download now
http://ad.doubleclick.net/ddm/clk/292181274;119417398;o
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
