岗位职责：
1. 开发通用计算理论，构建智能计算框架，处理智能功能与计算过程，模拟认知。
2. 开发智能计算理论，处理认知和语义范式，定义基本机器，明确界限。
3. 开发规范理论与语言族，构建运算符，实现多层规范构造。
4. 开发实现理论，给出认知过程实现的充要条件。
5. 开发分析实现理论与复杂性关系的方法。
任职要求： （投递岗位，务必符合专业及专业方向并在相关领域深耕不少于三年，不符合条件者勿投）
1. 数学和计算硕士，数理逻辑专业。
2. 了解经典和非经典数理逻辑及计算理论。
3. 了解理论计算机科学和人工智能技术基础。
4. 了解相关方法。
5. 有创造性思维，能发现新机会。
6. 对新解决方案有兴趣。
7. 数学基础扎实，沟通能力出色，乐于团队协作。
8.英语CET-6，熟练的挺熟读写。
9.工作地点：天津或者杭州。