皆様， （複数お受け取りの場合はご容赦ください）

京都大学の末永です．

東大の小林先生の基盤Sのプロジェクト 「AI時代を見据えたプログラム検証技術」で プログラム検証器を機械学習で高速化する研究をしているのですが， こちらで研究補助者を募集しております． https://www.kb.is.s.u-tokyo.ac.jp/~koba/hmcai/parttime.html Python で実験用プログラムを書いてもらう仕事が主となります． 興味のある方はどうぞご検討ください．

内容等について質問がありましたら末永までお知らせください． よろしくお願いいたします．

末永

-- * 職務内容：実験補助（Pythonによるプログラミング） * 勤務条件：時給1300円〜2000円（東京大学の規程および経験に応じて決定）。週10〜15時間程度（応相談） * 必要なスキル： - Pythonプログラミング（必須） - 機械学習，特に強化学習に関する基本的な知識（必須） - プログラミング言語OCamlの知識（望ましい） * 仕事の内容：

機械学習を用いて，プログラムのバグを網羅的に発見する手法である形式検証手法を高速化する研究の実験補助を行っていただきます．実験を行うためのPython プログラムをこちらの指示に従って作成・改造し，Google Cloud Platform (GCP) 上で実行し，実験結果をまとめていただきます．週1回1.5時間程度の打ち合わせ（当面オンラインの予定）に出席して，状況をお知らせいただきます． * 応募方法： 上記 URL に記載のメールアドレスまで，以下の内容をお送りください． - 東京大学統一履歴書 (https://www.u-tokyo.ac.jp/ja/about/jobs/r01.html) - これまでの開発経験を説明した文章（様式自由） - これまでにご自分が書いた Python のコードがあるリポジトリの URL と，そのプロジェクトの説明（様式自由）共同で開発された場合は，ご自分が関わった部分がどこかをお知らせください． - ご自分の機械学習に関する経験を説明した文章（様式自由） * 選考方法：書類選考の後、必要に応じて面接（オンラインの予定）を実施します