- 主题:上海做formal验证
板上有熟悉formal验证，想专职做formal的不？
虽然小众，但这个方向可见的是会使用的越来越广泛，趋势是确定的。
我在某大厂新建了个团队，面向risc-v专职做formal验证，人才奇缺，有兴趣可以站内联系。最好是上海（目前团队人才都在上海），不过北京，杭州也有site
在大厂里相对不那么卷，也稳定。
谢谢
--
FROM 223.167.169.*
这么小众的赛道，不如招几个聪明的小朋友慢慢培养
想捡现成的高手，不如先说说你们能够开多少钱吧
【 在 littleagle 的大作中提到: 】
: 板上有熟悉formal验证，想专职做formal的不？
: 虽然小众，但这个方向可见的是会使用的越来越广泛，趋势是确定的。
: 我在某大厂新建了个团队，面向risc-v专职做formal验证，人才奇缺，有兴趣可以站内联系。最好是上海（目前团队人才都在上海），不过北京，杭州也有site
: ...................
--
FROM 101.90.40.*
这个起手不难， 可以找些Junior的人来培养
【 在 littleagle 的大作中提到: 】
: 板上有熟悉formal验证，想专职做formal的不？
: 虽然小众，但这个方向可见的是会使用的越来越广泛，趋势是确定的。
: 我在某大厂新建了个团队，面向risc-v专职做formal验证，人才奇缺，有兴趣可以站内联系。最好是上海（目前团队人才都在上海），不过北京，杭州也有site
: ...................
--
FROM 139.226.59.*
自己的设计自己最了解，方法学没那么重要
--
FROM 221.222.20.*