小林・住井研究室を志望する方へ

入学試験等の情報は研究科ホームページをご覧ください． 海外からの留学希望の方はこちらも必ずお読み下さい．

• 大学院博士後期課程，ポストドク志望の方へ

プログラミング言語，ソフトウェア検証とそれらの理論に興味のある方の応募を歓迎します．

博士後期課程の学生については，現在，経済的支援（月10万円〜）をできる可能性が高いです．
ポストドクについては現在公募をしておりませんが， 優秀な方（トップクラスの国際会議に数編の論文がある方）であれば随時検討しますので ご連絡ください．

また，他大学の大学院生でも，共同研究，指導委託などの形で一緒に研究できる場合がありますので， ご興味のある方はご連絡ください．

• 大学院博士前期課程，卒研配属希望の方へ

世の中のいろいろなシステムがコンピュータによって制御されてきている今日， プログラミング言語やソフトウェア検証の理論は，今後ますます重要になる研究分野です． ぜひ小林・住井研究室で一緒に研究をしましょう． 詳しくはこちらをご覧下さい．

博士後期課程進学希望の人や経済的に困っている人については，経済的支援もできる可能性があります．