精品一久久_日韩成人激情_av2016天堂网_国产成年片_日日影视_精品国产观看

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

數(shù)學(xué)研究員（數(shù)理邏輯和范疇論） 科伊思正在尋找一位熱情且有才華的數(shù)學(xué)研究員，致力于開發(fā)用于人工智能科學(xué)基礎(chǔ)的數(shù)學(xué)框架理論。 職責(zé)： 1.參與開發(fā)一種數(shù)學(xué)框架理論，該理論能夠處理與人工智能相關(guān)的眾多形式方法。數(shù)學(xué)框架理論應(yīng)形式化處理智能的不同功能以及相關(guān)的計算過程。為此，它必須能夠發(fā)展出一種通用的邏輯理論和一種通用的計算理論。 2.參與建立與人工智能相關(guān)的眾多形式方法背后的理論和方法解決方案之間的聯(lián)系。 3.參與開發(fā)一種通用的范疇邏輯，以便能夠處理多種數(shù)理邏輯，因為從經(jīng)典一階邏輯到各種非經(jīng)典邏輯（如模態(tài)邏輯、時間邏輯或時間管理邏輯）等廣泛的邏輯被用于處理不同的計算情況。 4.參與開發(fā)一種通用的、更復(fù)雜的邏輯版本，它允許各個方面相互顯示和相互映射。這是一個多層次的異層級邏輯系統(tǒng)，將在范疇論中開發(fā)，提供所謂的認(rèn)知范疇邏輯。

Expectations from the job applicant for Mathematician researcher with a focus on mathematical logic and category theory COIOS (Tianjin) is looking for an enthusiastic and talented Mathematician researcher with keen attention to developing a theory of mathematical framework theory for the scientific foundation of AI. Responsibilities (i)Participation in the development of a mathematical framework theory that enables the handling of the multitude of formal approaches related to AI. The mathematical framework theory should formally address the different functions of intelligence and the related computing processes. For this, it must enable the development of a general theory of logic and a general computing theory. (ii)Participation in` the creation of a connection between the theoretical and methodological solutions underlying the multitude of formal approaches related to AI. (iii)Participation in the development of a general categorical logic that allow to handle a diversity of mathematical logics, since a wide range of logics are used to handle different computational situations, from classical first-order logic to various non-classical logics, such as modal, time or time management logics; (iv)Participation in the development of a general, more complex version of logic, which allows various aspects to be displayed and mapped into each other. This is the multi-level heterarchical logical system, which will be developed in category theory providing the so-called cognitive categorical logic. 資質(zhì)與技能： 潛在候選人應(yīng)具備的預(yù)期學(xué)術(shù)和專業(yè)技能： 英語聽說讀寫流利，要求大學(xué)英語四級（CET - 4）及以上水平，或具備同等英語能力，能滿足日常工作中的英語使用需求，可做無障礙國際交流。 1.擁有數(shù)學(xué)碩士或博士學(xué)位，專業(yè)方向為數(shù)理邏輯。 2.了解經(jīng)典和非經(jīng)典數(shù)理邏輯。 3.了解理論計算機科學(xué)、人工智能技術(shù)和數(shù)學(xué)基礎(chǔ)及基本技術(shù)。 4.了解相關(guān)方法和途徑。 5.具有創(chuàng)造性思維，可識別新機會。 6.對發(fā)現(xiàn)和開發(fā)新解決方案有科學(xué)興趣。 7.具有充分、透徹且令人信服的數(shù)學(xué)基礎(chǔ)知識。 8.具備出色的溝通技巧。 9.樂于在團隊協(xié)作的環(huán)境中工作。 工作地點及薪資待遇： 1.工作地點：天津或北京。 2.薪資待遇：根據(jù)能力和崗位匹配度，薪資可面議。