Rob Arthan
2018-11-16 10:20:47 UTC
If the below is of interest please contact Colin (rather than me or the list :-))
Regards,
Rob.
Regards,
Rob.
Subject: Job Opportunity at D-RisQ
Date: 15 November 2018 at 15:28:23 GMT
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/>
Date: 15 November 2018 at 15:28:23 GMT
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/>