印度尼西亚
越南
印度
菲律宾
土耳其
美国
墨西哥
加拿大
危地马拉
歌诗达黎加
阿根廷
巴西
智利
哥伦比亚
秘鲁
俄罗斯
乌克兰
法国
德国
意大利
埃塞俄比亚
乌干达
博茨瓦纳
加纳
肯尼亚
澳大利亚
新西兰
斐济
维尔京群岛
关岛
| 电子邮件 | jor***@***.com | 获取Email |
|---|
| 电子邮件 | jor***@***.com | 获取Email |
|---|
Certora ensures correctness of Smart Contracts by applying modular formal verification.
| 公司 | Certora |
|---|---|
| 职位 | Static Analysis Researcher/Engineer |
| 地点 | United States |
| http://www.linkedin.com/in/jorgenavas | |
| 部门 | master_engineering_technical |
| 头衔 | Static Analysis Researcher/Engineer at Certora |
Certora Static Analysis Researcher/Engineer
2021-12-01 -
SRI International Senior Research Scientist
2016-10-01 - 2021-11-01
NASA Ames Research Center Research Engineer
2013-10-01 - 2016-09-01
University of Melbourne Research Fellow
2011-09-01 - 2013-08-01
National University of Singapore Research Fellow
2008-10-01 - 2011-09-01
Jorge Navas 在 Certora 担任 Static Analysis Researcher/Engineer at Certora
Jorge Navas 在 Certora 的职位是 Static Analysis Researcher/Engineer at Certora
Jorge Navas 的电子邮件地址是 jor***@***.com
Jorge Navas 的电话号码是 -
Jorge Navas 的公司电话号码是 -
Jorge Navas 在 information technology & services 工作。
Jorge Navas 的一些同事包括Ghila Castelnuovo、Alexander Bakst、Jorge Navas、Gad ElbazEci Lisboa、。
Jorge Navas联系方式： 电子邮件地址：jor***@***.com 电话号码：-
Jorge Navas 的个人领英是：http://www.linkedin.com/in/jorgenavas
Jorge Navas 的办公地点：30 chaim levanon street, tel aviv-yafo, tel aviv district, israel
Top-ranked on G2 Crowd
全球B2B企业库 海关贸易数据 展会采购数据
全球B2B企业库
海关贸易数据
展销采购数据
Top-ranked on G2 Crowd
Sign Up with Google
