Alex
@alexanderlhicks.com
330 followers
150 following
10 posts
Working on formal verification & AI at Ethereum.
verified-zkevm.org
Posts
Media
Videos
Starter Packs
Pinned
Alex
@alexanderlhicks.com
· Aug 8
Ethereum Foundation - Researcher/Engineer (Formal Verification)
Role summary As a member of the Protocol Snarkification team, you will work towards snarkifying Ethereum by working to specify and verify the core cryptographic components of proof systems and their i...
jobs.lever.co
Alex
@alexanderlhicks.com
· Aug 8
Ethereum Foundation - Researcher/Engineer (Formal Verification)
Role summary As a member of the Protocol Snarkification team, you will work towards snarkifying Ethereum by working to specify and verify the core cryptographic components of proof systems and their i...
jobs.lever.co
Reposted by Alex
Jake Hanrahan
@hanrahan.tv
· Apr 27
Reposted by Alex
Kenny Paterson
@kennyog.bsky.social
· Mar 29
Alex
@alexanderlhicks.com
· Mar 30
Reposted by Alex
Deirdre Connolly¹ ²
@durumcrustulum.com
· Mar 26
Alex
@alexanderlhicks.com
· Mar 19
Reposted by Alex
Nico
@nicomnbl.bsky.social
· Feb 26
Alex
@alexanderlhicks.com
· Jan 29
Alex
@alexanderlhicks.com
· Jan 26
Reposted by Alex
Steven Murdoch
@steven.murdoch.is
· Jan 24
Review of legal rule on computer evidence long overdue, say Post Office scandal victims | Computer Weekly
Computer Weekly talks to people who suffered miscarriages of justice at the hands of flawed computer evidence as well as experts in law and IT, as the government commits to review the legal presumptio...
www.computerweekly.com
Alex
@alexanderlhicks.com
· Dec 11
Reposted by Alex
Alex
@alexanderlhicks.com
· Nov 25