If the below is of interest please contact Colin (rather than me or the list
:-))
Regards,
Rob.
> Begin forwarded message:
>
> From: "Colin O'Halloran" <c...@drisq.com <mailto:c...@drisq.com>>
> Subject: Job Opportunity at D-RisQ
> Date: 15 November 2018 at 15:28:23 GMT
> To: <c...@drisq.com <mailto:c...@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/>
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info