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