因工作需要，中国科学院软件研究所基础软件与系统重点实验室基础软件验证研究室招聘操作系统验证实习生若干名，详情如下：

岗位名称： 操作系统验证实习生

Mini-course on Automata and Transducers (8 hours)

授课老师：Professor Mikolaj Bojanczyk (Warsaw University)

课程摘要：In my mini-course, I will show how the humble finite automaton is, in fact, an extraordinarily flexible machine, which can be adapted to objects such as infinite words or trees, and enjoys an interesting and mathematically non-trivial theory. Also, there is a deep connection between automata and other fields, such as logic and semigroup theory. The mini-course will consist of four parts, each one with two hours.

[UPDATE]: The secretary position has been filled. Two positions for engineers are still open. Feel free to apply!

We are currently hiring a secretary and two engineers.

We are proud that our paper about formally verifying arithmetic Chisel designs for all bit widths at once, has been accepted at DAC’24.