[上海][应届/社招]形式化验证 EDA startup

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

外包信息请发到 /go/outsourcing 节点。

不要把相同的信息发到不同的节点

这是一个创建于 1842 天前的主题，其中的信息可能已经有所发展或是发生改变。

工程师直招，突出一个真实，简介随便写写，有任何问题在帖子下问，我会解答

R&D 工程师

有两个方向，一个是偏 Infra，一个是偏 Research

通用技能和其它公司工程师的要求都一样，特殊技能要求只有一个 C++

AE 工程师

就是售前 /售后技术支持工程师

要求有 logic design/verification 经验，愿意去和客户打交道

薪酬

17k-30k

如果你特别优秀或者有形式化验证 /EDA 方面的经验，上限会更高，感谢川普，这个上限现在能 match 上阿里

简历发送至邮箱 zhujiang@arcas-da.com

第 1 条附言 2020-10-09 12:48:22 +08:00

Intern 也要！
DesignHouse 里 Intern 薪水最高的是高通，RMB480/day
我会尽量找老板要到这个数
要不到的话保底 320/day 吧

工程师

EDA

形式化

社招

7 条回复 2020-10-11 10:27:33 +08:00

Cbdy

2020-10-09 12:18:28 +08:00

c++要会到啥程度

jiang42

2020-10-09 12:24:32 +08:00

@Cbdy 哈哈哈，好问题，最低要求能在编译器帮助下写 LeetCode 算法题
超过最低要求后会根据你 C++的熟悉程度给定薪资

下面是几个我常问的题目：
C++中 dynamic dispatch 和 static dispatch 分别是怎么实现的?
聊聊 C++11 move semantic?
聊聊 smart pointer?
编译器会帮你生成哪些 special method?

Cbdy

2020-10-09 13:04:58 +08:00

@jiang42 大学学过 c++，不过现在基本只会 c with class 了