はてなブックマーク

*この表は主観によるところが大きいです 国内企業の現地法人への出向 前職でも、世界中に現地法人があり、出向しておられる方がいらっしゃいました。ただ、それなりの勤続年数が必要なことと、ポジションがかなり少ないので、いつ出向できるかわからないことが課題でした。それ以上に重要なこととして、マネージャーとしての出向がメインで、私が目指すソフトウェアエンジニアで出向している方は聞いたことがありませんでした。 外資系企業日本法人に就職後、異動 外資系企業では、世界中の空きポジションに応募できる社内公募制度が整っており、その制度を活用して米国で働いている方もいるそうです。自身で異動時期をコントロールできますし、会社都合の異動になるので引越し費用も会社が負担してくれます。ただ、外資系企業日本法人にソフトウェアエンジニアとして採用されるのは狭き門で、多くはカスタマーサポートとして採用された後、日本の夜間をカ

公開が遅くなってしまいましたが、2018年の秋ごろ行ったアメリカでの就職（転職）活動をまとめてみました。各会社で選考方法は異なるので、ケースバイケースな対応が必要ですが、共通的に対策できる部分もあるのでそれをまとめています。 日本のIT企業でもコーディング試験などの技術面接が導入されている会社があると聞いているので参考になるかもしれません。

TLA+は、MicrosoftやAmazonがミドルウェアの設計に利用しているステートマシンの記述言語です。実際、Azure Cosmos DBやAmazon DynamoDB, S3, EBSはTLA+を使って設計、検証を行っていると公式に発表されています。 AmazonはどのようにTLA+を利用しているか Azure Cosmos DBの設計・開発におけるTLA+の貢献 IDEのダウンロードとインストール TLA+はTLA ToolboxというIDEが用意されており、シンタックスチェックや、作成したステートマシンの検証を行うことが可能です。TLA Toolboxは下記のGitHubのリンクからダウンロードが可能で、利用するにはJava 1.8以上が必要です。 ダウンロード先 ステートマシンの記述 TLA+は、JavaやPythonなどでのプログラミングと以下の点で異なります。 数学的な