Adacore | ソフトウェアエンジニア | フルタイム | リモートまたはオフィス勤務 Adacoreは、GNATのメンテナーで、GCCのAdaフロントエンド（今ではLLVM、Why3、JVMなど多くのコンパイラバックエンドもサポート）や、Adaエコシステムに関連する多くのツール（IDE、カバレッジツール、ファジングツール、静的解析ツール、形式証明ツールなど）を開発しています。私たちが作るものはすべてオープンソースで、サポートやトレーニング、認証を提供することで収益を上げています。いろんなプロファイルを探しています： - GCC/GNUツールチェーン開発者（https://app.hellotalent.com/vacancy/gnu-toolchain-developer-...） - シニア静的解析ソフトウェアエンジニア（https://app.hellotalent.com/vacancy/senior-static-analysis-s...） ぜひウェブサイトから応募してください。私は静的解析チームにいるので、質問があれば答えられます。また、もし自分が強い候補者だと思っているけど、要件が足りない（例えば、場所が合わないとか、経験年数が3年しかないとか）ことで応募をためらっているなら、ぜひ連絡してください。私は採用のプロセスからは遠い普通のエンジニアですが、あなたのことを聞いて、HRにあなたが良いフィットだと納得させる手助けをしたいです :)

PostHog | フルタイム | プロダクトエンジニア、テクニカルCSM、フォワードデプロイエンジニア | リモート（全リモート） | GMT-8からGMT+2を募集しています PostHogは、プロダクトエンジニアが成功する製品を作るための開発ツールを提供しています。 * 私たちの働き方や給与について詳しく知りたい方は、公開ハンドブック（posthog.com/handbook）を見てください。 * プロセスではなく、自律性と透明性を通じて成長しています。 * 大規模なスケールと、解決すべき超面白い技術的課題がたくさんあります。 * 今後数年でさらに20の製品を構築する予定なので、そのうちの1つを作るチャンスもあります。 * 公開の給与計算機！すぐに自分の給与がわかります。 * 現在、プロダクトエンジニア、ClickHouseオペレーションエンジニア、バックエンドエンジニア、テクニカルカスタマーサクセスマネージャー、テクニカルアカウントマネージャー、デベロッパーマーケター、フォワードデプロイエンジニア、オンボーディングエンジニアを募集しています。https://posthog.com/careers

Hotwash | 創業エンジニア（→適任者にはCTOのポジション） | リモート（アメリカ）、ボストンも歓迎 | フルタイム 私はソロファウンダーです。製品は全部自分で作って、11の消防署が契約してくれて、解約はゼロです。今はエンジニアリングを担当してくれる人が必要です。ウェストポイント、レンジャー連隊、イェール法科大学院、でもまだ唯一の開発者です。私たちのやっていること：Hotwashは消防署向けのアフターアクションレビューのプラットフォームです。重大な呼び出しの後、クルーが何が起こったかを記録し、それを転写して構造化します。そして、得られた教訓は、退職するベテランと共に消えてしまうのではなく、検索可能な制度的記憶になります。火事は入り口で、長期的には高信頼性の組織のための運用学習が目的です。進捗：年間40Kドル、11の支払い済み消防署、解約ゼロ。100万ドルのプレシードを調達中。役割：エンジニアリングの従業員#1。コードベース、アーキテクチャ、UXを一貫して担当し、現在のスタックからの再構築をリードします。何を作るか、なぜ作るかを私と直接話し合い、消防署の署長と一緒に実際に何が必要かを見つけます。適任者にはCTOのポジションになります。求める人物像：シンプルで使いやすい製品を出荷できるフルスタックエンジニアで、デザインに対する目がある人。私たちのユーザーは消防クルーで、パワーユーザーではないので、基準は「見たことがない人にも明らか」であることです。ソフトウェアの使い心地を気にするなら、ここがあなたの席です。スタック：現在はFlutterFlow + Firebase、Node、転写にはGroq/AssemblyAI、要約にはGeminiを使用しています。再構築のターゲットはReact Native（Expo）、Cloudflare Workers、D1、R2です。この移行を担当してもらうので、メンテナンスではなく本当に新しいプロジェクトのオーナーシップです。報酬：創業時の株式、スコープに応じてスケールします。現在は資金調達前なので、現金は少ないですが、調達が完了すれば増えます。履歴書、作ったもののリンク、なぜこの仕事に興味があるのかを一行で書いて、hiring@hotwash.comまでメールしてください。

Hatchet | フルスタックエンジニア | NYCまたはSFまたはリモート（アメリカとEU） | https://hatchet.run こんにちはHN！私はHatchetの創業者の一人、アレクサンダーです。Hatchetは、大規模なバックグラウンドジョブを実行するためのオープンソースプラットフォームです。キュー、バックグラウンドタスク、耐久性のある実行から始めて、次のクラスのエンジニアリングプリミティブを構築することに興奮しているエンジニアを募集しています。私たちは2024年初頭に分散タスクキューを立ち上げてスタートしました（https://news.ycombinator.com/item?id=39643136）。Hatchetは現在、さまざまなワークロード（ログ取り込みパイプライン、コードレビューエージェント、ビデオエンコーディング、GPUスケジューリングなど）で数千人のエンジニアに使用されています。ターゲット顧客は、バックグラウンドジョブシステムの強いニーズを持つ急成長中のスタートアップです。最近はAI企業が多いですが、一般的な用途で、AIワークロードに特化しているわけではありません。スタック：Postgres、Go、Typescript、React、Kubernetes 応募方法：alexander@hatchet.runまでメールして、あなたが作った印象的なものについて教えてください。履歴書とHatchetに興味がある理由も添えてください。私たちは完全にオープンソースなので、こちらで確認できます：https://github.com/hatchet-dev/hatchet（コードベースについての考えや意見、質問があれば、それも含めてください！）

Amodo Design (amododesign.com) | シェフィールド/ロンドン, イギリス | ソフトウェアエンジニア | フルタイム | オンサイトまたはハイブリッド ソフトウェアエンジニアを募集してるよ。重要な現実の問題を解決するのが好きで、ハードウェアに近いところで働きたい人を探してる。新しい分野をすぐに学べて、過剰なシステムや不必要な複雑さよりも実用的な解決策を好む人が理想。あなたに最適なプロジェクトで働けるよ。プロジェクトは多岐にわたっていて、以下のようなものがあるよ： 科学ツール、オートメーション＆ロボティクス（Linux & ROSレベル）、組み込みC/C++（通常は専任のファームウェアエンジニアが担当してるけど、ソフトウェアエンジニアも学ぶことができるよ！）、Linux、CUDA、AIの安全性、セキュリティ、検証作業のためのサーバーエンジニアリング、カスタムシミュレーションソフトウェア（通常はPython）、データ分析パイプライン（Python）、組織ツール（Typescript、React、Postgresなど）。構成：小さなチームでソフトウェア、機械、電子、ファームウェアエンジニアがエンドツーエンドのシステムを構築し、通常は数ヶ月以内に出荷するよ。応募はこちらから： https://amododesign.com/career

Pango | シニアソフトウェアエンジニア - フルスタック、テクニカルリード / ソフトウェアエンジニア | ストックホルム, スウェーデン（ビザスポンサー可能） | フルタイム Pangoは、eコマース物流のための世界初のエージェントオペレーティングシステムを構築中だよ。私たちのビジョンは、未来のAI eコマース従業員を作ること。ストックホルムでコアチームを形成していて、優れたエンジニアを探してる。あなたが合うのはこんな人： * B2B SaaSプラットフォームの大部分を維持、拡張、運営することに自信がある。 * 大企業では複数の役割に分かれている仕事を一手に引き受けて、すべてを優れたレベルで実行できる。 * どんな技術にも怖がらない。デスクトップアプリが必要なら、Electron.jsのドキュメントを読み込んで作る。配達時間を予測するモデルが必要なら、文献レビューをして適切なアーキテクチャを見つけてトレーニングする。 * いずれかのバックエンド言語やプラットフォームに強いスキルがあり、PHP/Laravelに深く入り込む意欲があるか、JS/Reactに強いスキルがある。 * eコマース（Shopify、Magento、他のプラットフォーム、配送業者の統合）経験があればプラス。 * 自分の言葉で初めのメールを書いてくれたらさらにポイント高いよ。あなたは製品や会社を形作る重要な役割を担い、影響を与えたりキャリアを進めたりする機会がある。興味があったり質問があれば、steve@pango.aiに連絡してね。応募はすぐにレビューして、迅速に進めるよ。

RealEstateU | フルスタックエンジニア, MERN / LMS | リモート (UTC-01:00からUTC+03:00) | 契約、フルタイム 私たちはアメリカの不動産教育のリーディングプロバイダーだよ。カスタムLMSは大規模なMERNプラットフォーム（Node/Express、MongoDB Atlas、React、Azure）で、現在は外部の契約者がメンテナンスしてる。プラットフォームの監視と技術基準を確立するために、シニアフルスタックエンジニアを1名募集してるよ。仕事の内容： - CI/CD：チケットから本番環境までの時間を数ヶ月から数日へ短縮。ビルド、テスト、リンティング、GitHub Actionsをモダナイズ。 - アーキテクチャ：モノリシック環境を専用のマイクロサービスに分割して、非同期のリリーススケジュールを可能にする。 - API：統合を強化（Stripe、BioSig、Honorlock、SendGrid、Zapier）し、新しいサービスにデータを開放。 - フロントエンド：学生向けのインターフェースをモダンなスタックで再構築、理想的にはポータブルなデザインシステムを使用。あなた： >5年の複雑なMERN製品でのReact + Nodeの経験、流暢な英語、すでに構築的なAIネイティブワークフロー（例：Claude Code / Codex / Cursor）を取り入れている。これはICの役割で、かなりの権限を持ち、社内の能力を成長させるためのエンジニアリング基準を定義することができる。これはフラクショナルやエージェンシーの仕事ではないよ。自律性が与えられ、創業者やPMと直接仕事をし、マイクロマネジメントはされない。あなたが選んだAIコーディングプランをカバーし、良い判断での使用を奨励するよ。これは、実際の収益があるスケールされた製品（約10万人のユーザー）で働く機会だよ、スタートアップじゃない。こちらの5分間のアンケートに答えてもらえれば、直接連絡するよ： https://forms.gle/vjdnjrnDVxcsCWM76

Viam | NYC（週3日出社）| スタッフエンジニア、フリートマネジメント | リード、データプラットフォーム | VP / ディレクターエンジニアリング | https://www.viam.com Viamは、ロボティクスをソフトウェアのようにプログラム可能にします。ハードウェア、クラウドサービス、エッジコンピューティング、データシステム、AIワークロードを横断するロボティクス、接続された機械、デバイスのための統一されたソフトウェアレイヤーを構築しています。元MongoDBのCTO兼共同創設者のエリオット・ホロウィッツが設立しました。オープンソース。 スタッフエンジニア、フリートマネジメント：機械のフリートを管理するためのクラウドシステムとフルスタック製品体験を構築します。バックエンドサービス、ウェブアプリケーション、API、権限/認証、プラットフォームアーキテクチャにわたって機能をエンドツーエンドで担当します。 リード、データプラットフォーム：機械データがどのようにキャプチャされ、移動され、保存され、使用されるかを支えるフルスタックシステムを構築する5人以上のエンジニアのチームを管理します。アーキテクチャを形作りながら、エンジニアのメンタリングや実行を推進します。 VP / ディレクターエンジニアリング：分散システム、開発者プラットフォーム、クラウドインフラストラクチャ、接続されたデバイス用のソフトウェアを構築するチームをリードします。技術的な方向性を形作り、実行を改善し、難しいエンジニアリングの問題に密接に関わります。 技術スタック：Go、TypeScript、Svelte、MongoDB、gRPC/protobuf、Linux 応募はこちら： https://grnh.se/g482kvei4us 質問：amanda@viam.com

Longshot Systems | 複数のシニアエンジニア | ロンドン、UK、ハイブリッド | フルタイム Longshotは、スポーツベッティングモデリングのR&Dの最前線にあり、10年以上にわたって市場を上回るモデルを生み出しています。プラットフォームや戦略において、さまざまな役割でシニアエンジニアを募集しています。優れた給与と福利厚生、柔軟なハイブリッド勤務、ロンドン中心部のオフィスがあります。非常に高いパフォーマンス環境で、高い信頼があります。チームは小さいですが成長中です。スポーツの知識は必須ではありませんが、情熱と深い技術経験は必須です。新しいスポーツベッティング市場の楽しさに参加しませんか？こちらのリクルートリンクをチェックしてください： https://apply.workable.com/longshot-systems-ltd/

Exeon | リモート（スイスとドイツ）| シニアScala開発者 私たちはExeonです。チューリッヒに本社を置くスイスのサイバーセキュリティ会社で、AI/MLを使って従来のツールでは見逃される高度なネットワーク攻撃を検出します。NDR（ネットワーク検出と応答）を考えてみてください、でも実際に賢いです。 実際にやること：

• 新機能やレガシーのリファクタリングのためのアーキテクチャ決定を担当
• バックエンドのチームメイトをメンター
• バックエンドとGUIレイヤーの両方に貢献
• 本当に国際的なチームと密に連携 私たちが求めているもの：
• ソフトウェアエンジニアリングの経験8年以上
• アーキテクチャ的思考を持った強力なScalaスキル
• リファクタリングすべき時とリリースすべき時を知っている
• 通常のコーディングの一部としてテスト（ユニット＋統合）に慣れている
• 流暢な英語；ドイツ語はプラス 応募はこちら： https://exeon.recruitee.com/o/senior-backend-developer-scala... 編集：フォーマット