Arithmer株式会社

【高度数学のビジネス活用を目指し、幅広い分野で活躍中】
同社は数学で社会課題を解決することを使命とし、顧客とパートナーのデジタルトランスフォーメーション（DX）に寄り添っていくAI開発会社です。
高度数学のビジネス活用を目指し、製造AI／インフラAI／リテールAI／風力AI／物流A／バイオAIといった分野で活躍しています。
形式科学である数学、自然科学である物理学など、さまざまな分野の研究者がシナジーを生み出し、それらを活用したプロジェクトが同時進行しており、その適応領域は拡大しています。

【製造AI／製造や加工の現場で起きるさまざまな困りごとをAIを用いて最適化する】
製造や加工の工程で発生する部品の不良品判定や、自動運転のサポートなど、現場の暗黙知を組織知に変えるAIを開発・提供しています。

【インフラAI／現場におけるリスクやコストの負荷をAIで解決】
土木の現場におけるリスクやコストなどの負荷を、AIを用いて解決します。生産性の向上を図り、魅力ある建設現場を目指す「i-Construction」の推進に寄与します。

【「数学」で社会課題を解決する】
同社名であるArithmerは、算術、数学という意味の「Arithmetic」から名付けました。
数学は簡潔にして美しく、世界を変える力を持っています。
私達は現代数学を応用して、さまざまな社会課題を解決するため、新しい高度AIシステムを導入しています。
私達は業界を代表する多くの企業様にArithmerのAIソリューションをお使いいただいている事に感謝をするとともに、その大きな社会的責任もしっかり認識して、よりよい未来のための新しい技術を創造していきたいと思います。

【Arithmerは東京大学数理科学研究科初となる企業として設立】
Arithmerのスタッフには海外の研究機関で活躍された人や国内SIerでエンジニアとして活躍していた人、博士研究員（ポスドク）だった人までさまざまなバックグラウンドを持つメンバーが集まっています。
入社後、周りのメンバーから刺激を受けて成長することができる環境がArithmerにはあります。

【エンジニア中心のセミナーを開催】
エンジニアが中心になりセミナーを定期的に実施しています。セミナー以外にもさまざまな勉強会が行われており、自主的な学びと知識共有は、当社の大切なカルチャーです。毎月、案件の報告会などを実施し、会社全体で顧客の課題について議論する場を設けています。
また論文掲載報奨や職務発明報奨といった制度もあり、学術誌や専門誌へ論文が掲載された際や職務発明に対しては報奨金が支給される制度などもございます。

同社は、数学を駆使した最先端のAIエンジンを開発し、製造、風力、建設、
物流、リテール、バイオなどの分野で課題解決に貢献しています。
研究開発本部では、インフラやサーバサイドエンジニアとして、
GCPやAWSなどのクラウドサービスを活用したAIサービス基盤の設計・構築・運用を担当します。
また、社内機械学習基盤の運用・改善、DevOps・MLOpsによる生産性と品質の向上にも携わります。
最新のクラウド技術やコンテナ技術を積極的に採用し、
AIの性能を高速・安定に提供できるアーキテクチャの実現を目指します。
AIエンジニアと連携してサービスを構築することで、AIの知識を身に付けることもできます。

【具体的には】
・ GCP、AWSなどのクラウドサービスを用いたAIサービス基盤の設計・構築・運用
・ 社内機械学習基盤の運用・改善
・ DevOps・MLOpsによる生産性と品質の向上
・ 新規サービス開発のための環境の設計、構築
・ インフラ設計（要件ヒアリング、アーキテクチャ設計、コスト計算）
・ セキュリティ設計
・ インフラ構築（OS・ミドルウェアの導入と設定）

・Googleクラウド、AWS、Azureでの構築経験

【歓迎】
・ Linuxサーバーの構築、運用経験
・ Kubernetesを用いたシステム開発・運用経験
・ CI/CDの導入経験
・ PM/PLの経験

※Github、Qiita、Slideshare等のアカウントをお持ちの方は、そのURLを共有してください。
研究資料（提出できるものがある場合で構いません）のご提出よろしくお願いいたします。