板上有熟悉formal验证，想专职做formal的不？
虽然小众，但这个方向可见的是会使用的越来越广泛，趋势是确定的。
我在某大厂新建了个团队，面向risc-v专职做formal验证，人才奇缺，有兴趣可以站内联系。最好是上海（目前团队人才都在上海），不过北京，杭州也有site
在大厂里相对不那么卷，也稳定。
谢谢
--
FROM 223.167.169.*