Senior Software Engineer – Systems

Braid Technologies (Headquarters: Tokyo, Japan)

C++ Rust Python Functional Programming Compilers DSL Geometry Algorithms Optimization Simulation Physics Mathematics Systems Programming High Performance Computing Distributed Systems HPC Graph Theory Automatic Differentiation Category Theory Back End Engineer Staff Engineer

Company Overview:
Braid Technologies, founded late 2020 in Tokyo, is building a next-generation platform for advanced engineering design automation. Our mission is to expand human creativity and engineering by blending mathematics, physics, computer science, and human ingenuity to create the software technology for the future of design. We build principled artificial intelligence for the future of automation for advanced engineering design.

Role Overview:
We are seeking a Senior Software Engineer to architect, develop, and maintain our set of internal libraries that form the base of our platform. You will play a pivotal role in developing our technology platform that enables the automated generation of performant engineering designs for our customers. You'll join a tight-knit, deeply technical team with backgrounds in C++, Rust, compilers, optimization, physics and mathematics.

Key Responsibilities:
- Collaborate to design and implement the architecture of our core design platform, including a custom compiler stack for our engineering DSL.
- Develop high-performance geometric algorithms (meshing, optimization, constraints).
- Architect and build systems-level components and backend infrastructure.
- Integrate heterogeneous tools with our physical simulation and design generation cycle, ensuring seamless data flow and efficient computation.
- Write high-quality, performant, well-architected, and well-documented code.
- Participate in code reviews and contribute to improving engineering best practices.
- Communicate technical decisions and trade-offs effectively. Drive consensus among colleagues.
- Collaborate cross-functionally with researchers (physicists, mathematicians, ML), designers, domain experts, and other software engineers.
- Stay up to date with cutting-edge computer science and algorithmic research.
- Share knowledge with the team.

Ideal Candidate Profile:
- Strong Computer Science fundamentals and systems programming experience.
- Deep expertise in algorithmic problem-solving, particularly in areas such as compilers, theorem provers, graph theory, automatic differentiation or category theory.
- Strong understanding of algorithms related to graph manipulation, optimization, and computational complexity.
- Proven experience in the implementation and optimization of complex algorithms.
- Solid software engineering skills across design and coding (C++, Rust, Python, or functional languages like Scala, Haskell).
- Strong knowledge of best practices in the software development lifecycle.
- Familiarity with fast-paced production environments.
- Enjoy writing performant, well-architected code for real-world math problems.
- Excited by geometry, compilers, or simulation engines.
- Great communication and collaboration capabilities.
- Excellent verbal and written communication skills in English.

Advantageous Skills:
- PhD (or equivalent) in Computer Science, Mathematics, or related field.
- Participation in international software engineering competitions.
- Experience with high performance computing or distributed systems.
- Peer-reviewed publications and presentations at academic conferences.
- Familiarity with deep mathematics or physics concepts.

Location & Logistics:
This role is full-time and based on-site in our Tokyo offices. We offer relocation and visa sponsorship for candidates located outside of Japan. Our team is international, and we work in English.