If the below is of interest please contact Colin (rather than me or the list
:-))
Regards,
Rob.
> Begin forwarded message:
>
> From: "Colin O'Halloran" <[email protected] <mailto:[email protected]>>
> Subject: Job Opportunity at D-RisQ
> Date: 15 November 2018 at 15:28:23 GMT
> To: <[email protected] <mailto:[email protected]>>
>
> 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/>
_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
