我们在做什么研究. 想快速了解我们在做什么，可以去这个页面逛逛，或者直接翻我们的论文。大方向是软件工程和程序设计语言，另外我们也在琢磨大语言模型参与软件开发时会冒出来的一些问题。我们组人不多，资源也有限，索性把更多心思花在一件事上：这个工作好不好玩。我们更想做出能让人换个角度看看老问题的东西——哪怕只是让人”哦？还能这样”一下。当然，这话说起来容易，真做出来挺难的，我们自己也在摸索，所以也很期待你能带来一些我们想不到的视角。
至于论文数量，我们没有那么在意。一是学校的考核风向在变，越来越看重质量和成果转化；二是实话实说，卷数量这件事我们组本来就不太擅长。当然，”不在意数量”不是说发得多就不好。如果你有一堆自己觉得特别有意思、但别人可能评价”没什么用”“没什么影响力”的 idea，只要你愿意投时间把它们做出来，发得多我们也替你高兴，这算不上灌水。我们真正不喜欢的，是为了发而发。
我们想要什么样的学生. 我们组现在的学生什么样的都有：有满脑子 idea 的，有动手能力特别强的，有很会跑实验的，也有很会写论文的。所以，你要是有我们缺的那块本事，我们当然最开心；谈不上互补也没关系，学术上有一手绝活也很好；绝活要是还没练成，那就得看你对研究有多热情、愿意投入多少时间了——只要这两条都在，我们一样欢迎。
至于背景，这里可以分两层说。学校牌子响不响、简历漂不漂亮，我们真没那么在意；但跟我们的领域相不相关，是另一回事——你的背景要是和软件工程、程序设计语言、软件安全这些沾边，上手自然快一些，当然最好。完全不相关也没关系，很多有意思的工作本来就是跨领域做出来的。只不过这种情况下，光凭热情和投入还不够：我们得能在你的想法里看到点 insight，才敢相信你能在这个领域做出东西来。说到底，做研究拼到最后，拼的往往就是这个。所以如果你觉得自己有，欢迎你在联系我们的时候把它亮出来。
联系方式. 看完以上的内容之后，如果你觉得你适合我们，我们也适合你的话，那不妨给我发封邮件吧。邮件具体内容没有限制，但是为了我们能够更好地了解你（确定你真的适合我们，以及我们适合你），建议你要尽可能具体地介绍一下你自己。
我们收到邮件后会先发送一封邮件，确认我们已收到你的申请。看完你的材料之后，如果我们对你感兴趣，我们会在一个星期内通过邮件给你安排一次面试。