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

[jiang42]

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

R&D 工程师

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

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

AE 工程师

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

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

薪酬

17k-30k

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

简历发送至邮箱 [e-mail]

[Cbdy]

c++要会到啥程度😳

[jiang42]

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

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

[Cbdy]

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

[CrabExcavator]

面试官教你面试...

[jiang42]

@CrabExcavator 这还是挺正常的吧，面试又不是刁难你，而是让你展现最好的自己然后做一个双向选择

[jmc891205]

支持一下国产 eda

[miao1007]

支持下国产 FM 工具