Mailing List Archives

Authenticated access

 		[Computer Systems Lab]

[← Prev]  [Date]  [Next →] [← Prev]  [Thread]  [Next →]

[madPL] Available position at Certora

Date: Fri, 13 Aug 2021 18:01:13 +0000
From: Thomas Reps <reps@xxxxxxxxxxx>
Subject: [madPL] Available position at Certora

Hi,

 

Certora, a company led by Prof. Mooly Sagiv from Tel-Aviv University, works on verification/validation of Ethereum smart contracts and has an open position.

 

Tom

Attachment: Formal Verification Software Engineer.pdf
Description: Formal Verification Software Engineer.pdf

[← Prev in Thread] Current Thread [Next in Thread→]
  • [madPL] Available position at Certora, Thomas Reps <=
Previous by Date:  Re: [madPL] Loris leaves for sabbatical and Paulette Koronkevich (UBC) is in town social (8/10 at 3pm at the Terrace), Somesh Jha
Next by Date:  [madPL] SemGuS Reading Group 9/24, Wiley Corning
Previous by Thread:  , (nil)
Next by Thread:  [madPL] blog post on how to build a quantum circuit simulator, Aws Albarghouthi
Indexes:  [Date] [Thread]