[isabelle] Fwd: Job Opportunity at D-RisQ

If the below is of interest please contact Colin  (rather than me or the list :-))



> Begin forwarded message:
> From: "Colin O'Halloran" <coh at drisq.com <mailto:coh at drisq.com>>
> Subject: Job Opportunity at D-RisQ
> Date: 15 November 2018 at 15:28:23 GMT
> To: <coh at drisq.com <mailto:coh at drisq.com>>
> I am looking to recruit someone who has experience of writing proof tactics in HOL and/or is experienced in using Z3 in order to accelerate D-RisQ’s product development of independent code verification. Proof tactic development would be done using ProofPower Z but we have expertise within D-RisQ to help a recruit familiar with one of the other HOL implementations work with ProofPower and Z.
> Thanks
> Colin
> Professor Colin O’Halloran
> D-RisQ Technical Director
> Malvern Science Park
> WR14 3SZ
> Tel. 01684 252452
> Mob. 07549 524906
> www.drisq.com <http://www.drisq.com/>

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.