职位需求 （投简历务必要中英文双版，谢谢）

理论计算研究员
科伊思正在寻找一位热情且有才华的理论计算研究员，致力于开发一种通用计算理论，该理论适用于开发智能计算的数学框架。
职责：
1.参与开发一种通用计算理论，该理论适用于开发智能计算的数学框架。这应允许对各种认知和推理过程进行描述和研究。这种计算理论应能够形式化处理智能的不同功能以及相关的计算过程。因此，它也应该能够模拟与计算相关的认知过程（例如解决问题）。
2.参与开发一种能够处理认知和语义计算范式的智能计算理论。将定义智能计算的基本机器，为此可以给出理论界限以定义智能计算的理论和实际限制。
3.参与开发通用计算理论的规范理论和规范语言族，并构建用于细化和抽象的运算符。开发多层规范的运算符及其构造化。
4.参与开发智能计算范式的实现理论。该理论应给出各种认知过程可以在智能计算的基本机器中实现的充分必要条件。
5.参与开发允许分析实现理论与不同类型复杂性之间关系的方法。

Expectations from the job applicant for Theoretical computing researcher
COIOS (Tianjin) is looking for an enthusiastic and talented Theoretical computing scientist researcher with keen attention to developing a general computing theory, which is suitable for developing the mathematical framework of intelligent computation.
Responsibilities
(i)Participation in the development of a general computing theory, which is suitable for developing the mathematical framework of intelligent computation. This should allow the description and study of the various processes of cognition and reasoning. This computing theory should be able to formally address the different functions of intelligence and the related computational processes. Thus, it should be able also to model cognitive processes (e.g. problem-solving) to which the computation is connected.
(ii)Participation in the development of a theory of intelligent computation that can handle both cognitive and semantic computation paradigms. An elementary machine of intelligent computation will be defined, for which theoretical bounds can be given to define the theoretical and practical limits of intelligent computation.
(iii)Participation in the development of a specification theory and a specification language family for generalised computation theory and constructing operators for refinement and abstraction. Development of operators for multi-layer specification and their constructivisation.
(iv)Participation in the development of a realization theory for the intelligent computing paradigm. This theory should give the sufficient and necessary conditions along which the various cognitive processes can be implemented in an elementary machine of intelligent computation.
(v)Participation in the development of methods that will permit to analyse the relationship between realisation theory and different types of complexity.
资质与技能：
潜在候选人应具备的预期学术和专业技能：
英语听说读写流利，要求大学英语四级（CET - 4）及以上水平，或具备同等英语能力，能满足日常工作中的英语使用需求，可做无障碍国际交流。
1.拥有数学和计算硕士或博士学位，专业方向为数理逻辑。
2.了解经典和非经典数理逻辑及计算理论。
3.了解理论计算机科学以及人工智能技术和数学基础及基本技术。
4.了解相关方法和途径。
5.具有创造性思维，可识别新机会。
6.对发现和开发新解决方案有科学兴趣。
7.具有充分、透彻且令人信服的数学基础知识。
8.具备出色的沟通技巧。
9.乐于在团队协作的环境中工作。
工作地点及薪资待遇：
1.工作地点：天津或北京。
2.薪资待遇：根据能力和岗位匹配度，薪资可面议。

Qualifications and Skills
The expected academic and professional skills to be possessed by a potential candidate:
Fluent in written and spoken English, CET-4 or equivalent English ability, able to meet the needs of daily work, and able to communicate fluently in English.
Master’s degree in mathematics and computing with a focus on mathematical logic
Understanding of classical and non-classical mathematical logics and computing theories
Understanding of theoretical computer science and AI, and technological and mathematical foundations and the basic techniques
Knowledge of relevant approaches and methods
Creative thinking to recognize new opportunities
Scientific interest in discovering and developing new solutions
Adequate, thorough and convincing knowledge of mathematical foundations
Excellent communication skills
Ready to work within a collaborative environment with teams
Working Place & Salary
Working place： Tianjin or Beijing
Salary： The salary is negotiable based on abilities and person-job fit.