募集職種 | ソフトウェアエンジニア |
---|---|
募集人数 | 1~2名 |
応募条件 |
2024年3月までに以下を卒業・修了見込みの方 ・大学 ・大学院 ・高等専門学校 ・IT系専門学校 ・IT系短期大学 |
募集内容 |
圃場機械間通信、FA機械・機器間通信に関わるソフトウェア開発 |
勤務地 | 本社(北海道札幌市) |
勤務時間 |
9:00~18:00(12:00~13:00休憩時間、実働8時間) |
諸手当 |
超過勤務手当:全額支給 通勤手当:支給(上限あり) |
賞与・昇給 |
賞与:年2回(6月、12月) 昇給:年1回 |
福利厚生 |
健康保険:北海道コンピューター関連産業健康保険組合 共済制度:北海道コンピューター関連産業共済会 企業型確定拠出年金 従業員持株制度 育児休暇制度 介護休暇制度 裁判員休暇制度 |
休日 |
完全週休2日(土・日) 国民の祝日 夏季休日(3日) 年末年始(12/30から1/4) 有給休暇(12~20日、半日取得可) 特別休暇 |
在宅勤務 |
スキルと業務内容で可能な場合に活用 |
教育制度 |
スキルに合わせた個別教育プラン作成と、習熟度合いに合わせたOFFJT 定期社内勉強会 |
実務開始後の スキルアップ |
社内講師による勉強会で社内技術の相互共有 オンライン研修を用いた共通技術レベルの向上 外部講師に依頼してのオンライン研修 社外講習会への参加 業界展示会出展と社内技術の展示、講習会実施、業界の最新技術動向の吸収 |
OB・OG訪問 |
こんな学校の先輩がいます OB・OG訪問希望者は採用担当までお気軽にご連絡ください。 ・北海道大学 ・筑波大学 ・神戸大学 ・弘前大学 ・東京理科大学 ・George Brown College |
■中途採用募集要項
募集職種 | ソフトウェアエンジニア |
---|---|
募集人数 | 1~2名 |
応募条件 |
何れかのプログラミング言語を使いこなせること。 機械制御や組込みシステムの構造、ソフトウェアのアルゴリズムなどに興味を持ち、根本から理解し技術を修得することが苦にならないこと。 英文技術文書や規格書の読解や英文メール等のやり取りが苦にならないこと。 |
募集内容 |
圃場機械間通信、FA機械・機器間通信に関わるソフトウェア開発 |
選考の流れ |
書類選考:履歴書・職務経歴書 1次面接:適性検査(Web対応可) 2次面接:プログラム演習ほか |
勤務地 |
本社(北海道札幌市) |
勤務時間 |
9:00~18:00(12:00~13:00休憩時間、実働8時間) |
諸手当 |
超過勤務手当:全額支給 通勤手当:支給(上限あり) |
賞与・昇給 |
賞与:年2回(6月、12月) 昇給:年1回 |
福利厚生 |
健康保険:北海道コンピューター関連産業健康保険組合 共済制度:北海道コンピューター関連産業共済会 企業型確定拠出年金 従業員持株制度 育児休暇制度 介護休暇制度 裁判員休暇制度 |
休日 |
完全週休2日(土・日) 国民の祝日 夏季休日(3日) 年末年始(12/30から1/4) 有給休暇(12~20日、半日取得可) 特別休暇 |
在宅勤務 |
スキルと業務内容で可能な場合に活用 |
実務開始後のスキルアップ |
社内講師による勉強会で社内保有技術の相互共有 オンライン研修を用いた共通技術レベルの向上 外部講師に依頼してのオンライン研修 社外講習会への参加 業界展示会出展と社内技術の展示、講習会実施、業界の最新技術動向の吸収 |
求職者向け会社紹介動画
2025年5月企業実習受け入れについて
■ポリテク受講生で当社の企業内実習の検討をされている方へ
<< 実施期間 >> 2025年5月7日(水)~6月4日(水)
<< 実施目的 >> 商用制御ソフトウェアに求められる高品質コードの記述・テスト仕様導出手法の基礎の修得
<< 実習内容 >>
関数仕様の厳密な記述ワーク(B-method使用)
関数仕様に基づく実装の検証(定理証明)ワーク(B-method使用)
システム振舞いやシステム間相互作用の振舞いのモデリング(Event-B使用)
モデル検査によるシステム仕様の網羅的検証のワーク(Event-B使用)
C言語による関数仕様の記述ワーク
ソフトウェア要件からソースコードへのトレーサビリティ管理ワーク
C言語関数仕様から完全な検証を行うためのテストケースの導出・テスト実施ワーク
<< 実施目的 >> 商用制御ソフトウェアに求められる高品質コードの記述・テスト仕様導出手法の基礎の修得
<< 実習内容 >>
当社のビジネスモデルは、主に機械メーカの技術者の方に機器の連携協調動作を可能とするための
機械間制御通信に使われる通信プロトコルの導入に関する技術支援や、機器間通信の実装やテストなどの
エンジニアリングサービスを提供するというものです。
制御通信分野では、機械の本来機能・連携協調動作の実現に加え、安全性の確保(機能安全という故障しても 安全性を確保する設計・検証技術への対応)や、サイバーセキュリティ対策などの考慮が必要です。
企業実習では、このようなシステムで用いられるソフトウェアの信頼性を確保するための品質保証技術として 厳密なシステム・ソフトウェアの仕様の記述方法、その仕様を実装が満たすことの検証方法をB-method・Event-Bと呼ばれる 形式仕様記述言語・形式検証フレームワークを用いた実習を通して理解いただき、その応用としてその概念を流用し C言語の関数仕様記述・関数テストケース導出につなげることで、実践可能なノウハウとして身に着けることを目標とします。
高品質・高信頼性が求められる開発現場で求められる厳密な仕様記述や検証方法の基礎を学びたい方は 是非受講を検討下さい。
制御通信分野では、機械の本来機能・連携協調動作の実現に加え、安全性の確保(機能安全という故障しても 安全性を確保する設計・検証技術への対応)や、サイバーセキュリティ対策などの考慮が必要です。
企業実習では、このようなシステムで用いられるソフトウェアの信頼性を確保するための品質保証技術として 厳密なシステム・ソフトウェアの仕様の記述方法、その仕様を実装が満たすことの検証方法をB-method・Event-Bと呼ばれる 形式仕様記述言語・形式検証フレームワークを用いた実習を通して理解いただき、その応用としてその概念を流用し C言語の関数仕様記述・関数テストケース導出につなげることで、実践可能なノウハウとして身に着けることを目標とします。
高品質・高信頼性が求められる開発現場で求められる厳密な仕様記述や検証方法の基礎を学びたい方は 是非受講を検討下さい。
採用に関するお問合せ
お問合せは、employment@m2mcraft.co.jp までe-mailにてご連絡ください。