職位需求 （投簡歷務必要中英文雙版，謝謝）

理論計算研究員 科伊思正在尋找一位熱情且有才華的理論計算研究員，致力于開發一種通用計算理論，該理論適用于開發智能計算的數學框架。 職責： 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.