IT行业寻找工作机会的另类思维

本文是给形式验证社群做的分享，首发在 CSDN。抛砖引玉，请大家指正。

形式验证群里的老朋友可能知道，我的工作其实和形式验证无关，不太懂形式验证，平时在群里更类似于文娱委员的角色，所以我也没办法分享太技术性的东西。今天的话题没有技术含量，只是分享一下IT行业寻找工作机会的另类思路。

免责声明：本文分享的内容，只是一种思考的角度，不代表是最好的策略，不承担任何相关决策带来的后果：）

我们有幸在一个 IT 行业繁荣的时代，机会比较多，比好多行业回报大。IT行业找工作常见的渠道，包括各类招聘网站，知名大公司的官网招聘页面，熟人内推，以及猎头介绍等。此外，Levels.fyi | Salaries & Tools to Level Up Your Career 和 https://duibiao.info/ ，还有各种论坛如一亩三分地等，也都是有用的信息来源。

这么多信息来源，可能会让人陷入海投的负担中，我今天分享一些不一样的思路，希望能够带来一些启发。

我要分享的第一个关键词是“顺藤摸瓜”，具体分三个步骤。

1，平时看到感兴趣的产品、工具、网站、开源项目等，多花十分钟时间，调研一下背后有什么商业公司的身影。通常只要在官网的 about 页面或者底部链接仔细找，就能找到蛛丝马迹。

举个例子，我大学的时候对开源运动非常热情，对丰富 Linux 桌面环境软件生态非常在意，当我了解到有一个叫 Wine 的开源项目能够在 Linux 上兼容 Windows 软件的时候，就很感兴趣。而当我发现中文开源社区对 Wine 项目有一些误解的时候，我就想动手去改进 Wine，用行动消除误解。我很快就在 Wine 项目的官方网站发现，它背后有一家商业公司在全职开发，叫做 CodeWeavers：WineHQ - About Wine

于是我先以社区贡献者的身份给 Wine 项目提交代码，再毛遂自荐加入 CodeWeavers，成为中国第一个员工，做了几年的全职开源软件开发，满足了学生时代的心愿。

这个调研方式是很容易复制的，比如很多定理证明器是用 ML 系的语言开发的，那么如果我们看一下 ML 系最常见的 OCaml，就会发现官网上居然收录了40多家使用 OCaml 的公司，从这个起点出发去调研，看看每个公司官网的招聘清单，可能就会发现跟自己相关的工作机会：

Companies using OCaml – OCaml

再比如，seL4 是一个经过形式验证的操作系统，seL4 官网上列出了基金会成员公司的清单，这些公司可能就需要形式验证领域的人才：Membership | seL4 

再举一个例子，CompCert 是一个经过形式验证的编译器，CompCert 官网有一个“partner”页面，介绍了一家叫 AbsInt 的公司，销售商业版的 CompCert：

CompCert - Partners

注意工作机会常常是有窗口期的，一个职位发布出来可能几个月后就会招到人删掉招聘信息，但是曾经招过的职位未来大概率还会继续招，所以经常回头看看有好处，主动建立联系也有好处，可以请对方有空位的时候给自己发邮件。订阅某些技术讨论组的邮件列表，有时候也能看到招聘信息，比如 Coq、Isabelle 等邮件列表都有。

2，如果发现了一家感兴趣的公司，紧接着第二步值得做的，应该是调研竞品。

如果一个行业繁荣，那么好产品可能会有很多竞品，一家不招人，别家可能会招，平时多留意，需要的时候就会多一些选择。有一个网站叫 StackShare - Software and technology stacks used by top companies ，可以用来对比不同的产品和技术栈，其实就是一个竞品索引目录。

举个例子，如果我们对 PyTorch 感兴趣，那么可以在 stackshare 看到 Tensorflow、MXNet 这些竞品：What are some alternatives to PyTorch? - StackShare 

这个网站还收录了使用这些技术的公司，以及当前有哪些职位需求，不一定全，不一定很准，但可以是一个不错的粗筛的试点。

类似的，我们也可以在 stackshare 上搜 OCaml, Haskell, Racket, Scheme 等相对小众的编程语言，看看哪些公司在用。

3，前面两步其实很多人都能想到，这个习惯也伴随了我很多年，不过我最近几年接触推荐系统以后，又发现了新的思路。大部分推荐系统是基于“相似的买家喜欢相似的商品”这个假设去做匹配的，参照这个假设我们也可以把自己打造成一个原始的手工推荐系统。如果把一家公司看成一个商品，那么买家是什么人呢？答案是股权投资人，也就是拥有这家公司的一部分的人。如果类比成立，那么相似的投资人可能会投资相似的公司。

有一个网站叫 Crunchbase: Discover innovative companies and the people behind them，这是一个覆盖全球超百万家企业的商业信息数据库，可以用来查看公司的融资和估值信息。

举个例子，Mathpix Snip 是一家做数学公式OCR识别的公司，如果我们上 crunchbase 查，可以看到背后的投资人叫 Techstars Montreal AI Accelerator，这名字很明显就是 AI 相关的， Techstars 加速器也确实投了很多家 AI 初创公司：Techstars Montreal AI Accelerator - Investments, Portfolio & Company Exits

再举个例子，Wordpress 是一个开源的博客系统，如果我们用前面第一步的方法，可以在官网右下角隐蔽角落看到，Wordpress 原来是一家叫做 Automattic 的公司开发的。这家公司的一大特色是，他们从创业早期就是全员远程办公的，如今全球已经有1700多员工，分布在90个国家：About Us – Automattic 

Automattic 的创始人 Matt 不仅在自己公司推行全员分布式办公，而且乐于推广这种文化，他做了一个播客专门讲分布式办公的好处和坏处：Distributed.blog – The future of work is here.

Matt 创业成功之后，开始做天使投资，参与投资了很多分布式办公的公司，包括我们熟知的 Gitlab：Audrey Capital 

顺便说一下，随着全球远程办公机会的增多，越来越多人关心跨境远程办公的法务税务问题。之前我在群里收集过问题，打算请专家挑一部分来解答，如果大家有什么问题补充可以私信告诉我。

最后讲个小插曲，前两周形式验证群里有一位朋友介绍了 Pivotal Hash 这个算法，我就好奇去搜了背后的公司 Pivotal 以及 Pivotal 的投资人。后来另一位群友介绍了 Certora 这家做智能合约验证的公司，我也去搜了背后的投资人。一搜发现，两家公司居然都被 VMWare 投资过，有一种世界真小的感觉。

当然上面这个是巧合，没有太重要的信息量。“相似的投资人投资相似的公司”，这个规律可能对于体量比较小的早期投资更有效一些，因为他们资源有限需要专注在自己擅长的小方向上。

不过如果我们经常调查这些信息，这种“世界真小”的故事就会反复遇到，这个时候就说明调查得比较仔细了。

== 中场休息 ==

小结一下，前面讲了顺藤摸瓜的三个步骤，但其实我举例子的时候作弊了，我刻意挑容易的例子讲。如果我们到 stackshare 上搜 Coq、Isabelle，或者到 crunchbase 上搜 AbsInt，得到的结果是几乎空白的。信息量少，本身也是重要的信号，说明这个领域实在太早期了，投资人、潜在的友商、市场都还没准备好。这就要提到第二个关键词，“提前规划”。虽然上面的方法搜出来有时候可能是空白，但是养成这个习惯，平时多留意积累信息，不定期回头再查一遍，就能保持对领域的敏感。比如说，如果工业界对口的机会不多，那么也许有的同学规划下一步的时候会提高学术界的优先级，而如果哪天发现搜出来的结果突然增多了，那么也许是进入工业界的一个不错的时机。如果 crunchbase 上搜出很多形式验证的公司，那说明这个领域的资本供应增加了，但是人才培养需要时间，短期内无法增加太多供应，供不应求，这时候人才就有议价优势。

总的来说，这些方法有助于帮自己建造一个池子，这个池子包含可能的选项。有了这个池子，可以提前规划，避免临时海投的负担，做出不留遗憾的决策。这些方法相信比起很多同学申请学校做的辛苦调研准备要简单得多。

上面的思路，大致上是一种兴趣导向的框架。这种框架的好处是，我们做的产品是自己比较认可的产品，我们对用户可能有比较多共鸣。很多时候这些调研方法不会对于提升收入水平有直接的帮助，但是它有可能在同样收入条件下帮我们发现更中意更匹配的机会，尤其是当我们的兴趣非常另类小众的时候。如果我们用了这些调研方法，我们找到另类公司的机会，可能比另类公司找到我们的机会要大得多。

顺便补充一个观点，猎头也是一个非常好的渠道，我上面讲的调研思路，猎头或多或少都有类似的信息来源，等于是帮大部分人把功课做了。

跑题分享一个故事，我认识一位刚开始涉足形式验证领域的猎头朋友，他跟我说，他以前给很多澳洲上市公司招人，了解人才的流向，看到优秀的人才加入一家上市公司，就买那家公司一千块钱的股票。我听了之后赞叹不已，这个想法真聪明。可惜后面翻车了，他说几年下来这个策略也没有特别突出的回报。（个人认为是澳洲经济整体发展迟缓导致的，同样的策略在中美可能更有效）

再跑题讲一个笑话：某公司高薪招了一个高管，入职之后才发现高管说得漂亮但其实没有真本事，想裁掉可是请神容易送神难，最后暗中请了个猎头，把高管资历包装一下，推荐给竞争对手，被竞争对手用更高的价格收了，一分离职补偿都不用出。。。

跑题回来，我觉得优秀的猎头都是很聪明很敬业的人，和这样的朋友交流是很受益的，所以我也很乐意给猎头朋友科普形式验证的信息，互相帮助。其实我们群里也有形式验证领域的猎头朋友，如果大家感兴趣，也可以找机会请ta们介绍一下自己，希望能够对大家有帮助：）

猎头是挺常规的渠道，最后我再分享一个另类的思维。

前面提到，目前形式验证领域的创投不活跃。其实站在投资人的角度，他们的信息来源也有局限，因为太前沿的东西谁都看不准。我想分享一个建议，就是做前沿技术的同学，有机会不妨跟科技风投行业的从业者多交流。我没有鼓励任何人创业，实际上有数据统计过，某明星孵化器旗下的创业公司，创始人的平均财务回报低于在大公司工作同等时长的回报，尽管头部少数创始人的回报超过所有其他创始人的总和。类似的，有投资人说早期创投的行业整体回报率是负的。那么，如果不鼓励创业，为什么还鼓励和投资人交流呢？这就得反过来思考了：正是因为投资风险高，所以投资人做决策需要足够谨慎，对于前沿科技，他们通常需要有自己的技术顾问或者智囊团提供参考意见。这一点，其实是我们群里很多朋友擅长的，很多人不仅在自己领域是专家，而且还熟悉一些关联领域的专家，如果投资人拿一个不靠谱的项目过来咨询，专家能帮忙把把关，让投资人少亏点钱，那就是极大的贡献。另一方面，投资人嗅觉灵敏，资源丰富，也能给前沿技术人员带来不一样的视角和帮助，这是一种双赢。这些价值不一定只体现在具体一两个职位上，可能是更全局的信息。

说完“现在”，再展望一下未来：GitCoin 是一个基于crypto的技术众包平台，目前处于早期实验阶段，以后像这样的形式可能会增加，提供更多另类的选择，感兴趣的朋友也可以关注一下。

Build and Fund the Open Web Together | Gitcoin

感谢大家阅读这么长的文字，上述内容的目标受众主要是即将离开学校或者刚刚开始工作的朋友，只是提供一个思考角度，不代表鼓励某一种倾向。我认为无论是进入工业界还是学术界，都是值得尊重的个人选择，重要的是考虑充分不留遗憾。

如果能够给其他人带来启发我也非常荣幸，比如，研究机构或者创业公司都可能面临同行的人才竞争，有效的调研对吸引人才会有帮助，尤其在全球化竞争的环境下。

我相信工业界和学术界的衔接合作，对于领域的健康繁荣是很有益的。

最后蹭一下流量，CSDN 的朋友如果有跨境远程办公方面的法务税务问题，欢迎加我微信 fracting 一起交流。