ホーム > 採用情報 > 契約職員募集 > 臨海副都心センター
契約職員募集
| 部署 |
： |
インテリジェントプラットフォーム研究部門 |
| 募集区分 |
： |
第二号職員 |
| 拠点 |
： |
臨海副都心センター |
※ 本募集内容に関するご質問は、それぞれの問い合わせ先の担当者までお願いします。
※ 履歴書は所定様式をご参照ください。→様式 （市販の様式でも可能です。）
| 契約職員 【公募No ： 2026-ipri_0003】 掲載日：2026年3月25日
|
| 研究グループ・室 |
超分散トラスト研究グループ |
| 研究内容または業務内容 |
実解析を必要とするプログラム意味論の検証。定理証明支援系Rocq及び
Mathematical Componentsライブラリ(特に、MathComp-Analysis)よるドキュメ
ンテーションや移植及び形式化の作業。 |
| 研究内容または業務内容の変更範囲 |
研究補助業務及び技術補助業務 |
| 応募資格 |
数学または情報理工の修士在学中もしくは修士卒以上。定理証明支援系Rocqと
Mathematical Componentsライブラリに関連する技術の研究経験、および解析
学の知識を有すること。 |
| 募集人員 |
1名 |
| 給与 |
応募者の能力と経験に基づき、時給制1900円～2400円の範囲で決定する。 |
| 雇用期間 |
採用日～2027年3月31日 |
| 試用期間 |
有（１ヶ月） |
| 更新可能性の有無 |
無（契約期間満了により雇用関係を終了し、更新はしない。） |
| 更新基準及び最長雇用期間 |
|
| 勤務地 |
臨海副都心センター |
| 勤務地の変更範囲 |
臨海副都心センター |
| 勤務時間 |
週1日、1日7時間45分。 |
| 休日 |
完全週休２日制（土・日）、祝日、年始年末 |
| 待遇 |
当所規程により有給休暇・通勤手当有り |
| 提出書類 |
履歴書 (参考様式)
申告書（参考：特定類型該当性に関する申告書提出のお願い）
|
| 応募締切 |
2026年4月30日(木)
採用者が決まり次第終了。 |
| 選考方法 |
書類選考および面接試験 |
| 採用内定通知 |
採用決定次第速やかに通知する。 |
| 問い合わせ先 |
超分散トラスト研究グループreynald.affeldt aist.go.jp
※@マークは画像に変換しておりますので、ご了承ください。 |
| 応募先 |
〒135-0064 東京都江東区青海2-3-26
産業技術総合研究所 インテリジェントプラットフォーム研究部門
超分散トラスト研究グループ |
| 応募方法 |
提出書類を応募先までご郵送ください。
その際、封筒に「契約職員応募書類在中」と朱書きの上、履歴書の左上に公募No.を1つ明記してください。 |
| 履歴書の取り扱いについて |
提出していただいた書類（履歴書等）は、採用審査の用途に限り使用されます。漏洩することのないよう厳重に管理され、選考業務を担当する職員のみに参照を許可します。なお、履歴書等は返却いたしません。不採用者の履歴書等は、当所規程に則り除却致します。 |
| 備考 |
科学技術・イノベーション創出の活性化に関する法律の研究補助業務であり、無期転換申込権の発生までの期間は10年となります。
受動喫煙防止措置に関する事項：屋内禁煙（屋外喫煙場所あり）
*外為法の関連通達改正（5月1日施行）に伴い、特定類型該当性についての申告書の提出を必須としております。
|
| ■ |
連絡先 |
|
このページについてのお問い合わせは aist-keiyakubosyu-hp-ml@aist.go.jp までお願いします。
※ 本募集内容に関するご質問は、それぞれの問い合わせ先の担当者までお願いします。
|
|
| |
|
|
|
