[Hol-info] New positions in formal verification at Imagination Technologies

Design Verification of complex billion gate SoCs is one of the most challenging problems  in the semi-conductor industry. Coping with verification complexity and meeting time-to-market requirements and at the same time achieving appropriate quality milestones is the most enjoyable experience

[Hol-info] Postdoc position on hardware verification at NTU Singapore

[Apology for multiple postings] One postdoc position is available at the School of Computer Engineering, Nanyang Technological University (NTU) Singapore, for a project on hardware verification. Candidates must possess a PhD degree in Computer Science or related areas. The position is part of a

[Hol-info] Postdoc position on security protocol verification at NTU Singapore

One postdoc position is available at the School of Computer Engineering, Nanyang Technological University (NTU) Singapore, for a project on verification of security protocols funded by the Ministry of Education of Singapore. A particular emphasis will be on designing and implementing decision

Re: [Hol-info] Postdoc position on security protocol verification at NTU Singapore

Apology for multiple postings. There was a typo in the previous post regarding the application deadlines. Below is the corrected version. === One postdoc position is available at the School of Computer Engineering, Nanyang Technological University (NTU) Singapore, for a project on verification