Data Structure & Algorithm Engineer
Noeon Research is an ambitious deep-tech startup working on a novel natively agentic graph-neuro-symbolic system with general capabilities. We are an international 30-people team with headquarters in Tokyo, Japan.
We are developing Noeon – a novel natively agentic AI system with general capabilities based on carefully selected principles from mathematical category theory, knowledge representation, and computational linguistics. Our technology prioritises interpretability, revisability, and generality, allowing for safe and efficient adaptation to a changing world. We prioritise AI safety by focusing on interpretability in order to unlock capabilities safely.
Keywords
Algorithms, Data Structures, Graph Theory / Graph Transformations, Complexity Theory, Formal Methods, Mathematical Logic / Category Theory, Knowledge Representation, Knowledge Graphs / RDF / Ontologies, Compilers, Interpreters, Domain-Specific Languages (DSLs), Formal Language Definitions (EBNF, Attribute Grammars), Program Optimization, Intermediate Representations (SSA, CFG, Sea of Nodes, Use-Define Chains), Symbolic Reasoning, Automated Theorem Provers (Z3, CVC5, Vampire, Lean, Agda), Competitive Programming (ICPC, Codeforces, TopCoder, AtCoder), Python, Rust, Haskell
Just write to us! Please attach your CV or LI
Show email
Overview
Country
Japan
City
Tokyo
Category
Data Structure and Algorithm Engineering
Required Background
Software Engineering, Computer Science, Mathematics
Location
Tokyo
Outside Japan
Not available
Relocation
Required
Employment Type
Full-Time
Just write to us! Please attach your CV or LI
Show email
Responsibilities and Expectations
Algorithm Design & Development
(01)
- Design, analyze, and optimize algorithms for knowledge representation, and reasoning systems.
- Support and enhance existing language infrastructure, including parsers, transpilers, interpreters, and lang servers.
- Design algorithms and data structures for novel computation model grounded in graph transformations.
Knowledge Representation & Formal Methods
(02)
- Build robust frameworks to represent and process structured knowledge with a balance of expressiveness and computational efficiency.
- Apply domain-specific language (DSL) design principles to capture and reflect native graph-based representations.
Collaboration & Research
(03)
- Collaborate with a multidisciplinary team of engineers and researchers to drive innovation.
- Stay current with advances in algorithms, competitive programming, and AI research.
- Contribute to research publications, patents, and open-source projects where applicable.
Experience
Algorithmic & Programming Expertise
(01)
- Demonstrated success in algorithm design, analysis, and implementation.
- Participation in international competitive programming contests (e.g., ICPC, Codeforces, TopCoder, AtCoder, etc.) is highly valued.
- Coding skills in languages such as Python, Rust, or Haskell with a focus on algorithmic performance and optimization
Knowledge Representation & Formal Languages
(02)
- Experience with formal language definitions, including EBNF and attribute grammars.
- Hands-on work with knowledge graphs, RDF, ontologies design.
Compilers & Programming Language Theory
(03)
- Practical experience with compiler and interpreter design principles.
- Familiarity with program optimization techniques and intermediate representations.
- Good grasp of code representations, including SSA form, control flow graphs, data dependency graphs, use–define chains, and "sea of nodes" models.
Symbolic Reasoning
(04)
- Exposure to integrating symbolic reasoning techniques with statistical ML systems is a strong plus.
- Experience using automated theorem provers (e.g., Z3, CVC5, Vampire) or formal proof assistants (e.g., Lean, Agda).
Practical Systems Experience
(05)
- Proven ability to design algorithms for complex real-world systems where efficiency, scalability, and correctness trade-offs are critical.
- Strong debugging and code optimization skills.
Academic Background
[essential]
(01)
Strong foundation in algorithms & data structure design, complexity theory, graph theory, formal methods, mathematical logic, and/or category theory.
Soft skills
[essential]
(01)
Proactive mindset to stay updated with the latest advancements in AI.
[essential]
(02)
Fluent in conversational and written business English (C1+).
[required]
(03)
Ability to work collaboratively in cross-functional teams.
[advantageous]
(04)
Experience working using Agile framework.
Personal qualities
Individual responsibility. You respect key deadlines and pass on the results of your work to your teammates in an appropriate condition.
Lifelong learning. You recognise areas for growth and proactively learn new skills and knowledge for your current and prospective areas of responsibility.
Vision & planning. You can plan your work several weeks ahead and can juggle multiple projects at once. You know when to postpone a task to keep your workload manageable.
Thoroughness. You cover every important aspect of your task leaving out no crucial detail.
Proactiveness and initiative. You offer help if you have spare capacity. You take initiative and pitch your own projects to others.
Critical thinking. You question every judgement, claim or number and can engage in a healthy debate with your teammates.
Dynamic, out-of-the-box mindset. You can challenge existing ways, abandon well-trodden paths and embrace the new in the name of the great.
What we are offering
Competitive Salary
Depending on the candidate's skill level, our target salary range is 15-20M JPY per year for a full-time position and equity compensation (options).
(01)
Flexible Schedule
Outside scheduled team meetings, teammates are free to work on their tasks independently. When to work is a personal choice. Just do not overwork – that is inefficient.
(02)
Autonomy
High autonomy is crucial for us – the small and agile team can achieve a breakthrough if its members are professional and independent. However, we promote helping each other. That is crucial too.
(03)
Low Bureaucracy
What we value most are performance and results, not a strict process following. However, metrics, processes, and documentation are important too. We just keep their priorities low.
(04)
Medical Allowance
Compensation of overseas health insurance and additional medical costs, yearly health checkup.
(05)
Language Courses
Support for English and Japanese language training.
(06)
Other
Visa Sponsorship, Relocation Allowance, Travel Allowance, Monthly commute expense in Japan, Japanese Social Security.
(07)
How we are different
Not just an ML
(01)
People tend to think that AI is solely Machine Learning, like ChatGPT (or DALL-E 2, or Microsoft Bing, or ChatSonic). We are building our solution on an alternative architecture which incorporates ML as a part.
Going beyond
(02)
We put much effort into profound research and development of new underlying technologies rather than reusing existing ones. We like to explore unfairly neglected and non-conventional approaches to AI.
Safety and Alignment
(03)
We want to be responsible in our research and development. We don't turn our noses up at AI safety research and take the issue of alignment seriously.
Just write to us! Please attach your CV or LI
Show email
© 2025 Noeon Research. All rights reserved.
Midtown Tower 34F, 9-7-1 Akasaka, Minato-ku, Tokyo, Japan
Midtown Tower 34F, 9-7-1 Akasaka, Minato-ku, Tokyo, Japan
Noeon Research UK Ltd is a registered company in England and Wales. Registration number: 16093898. VAT registration number: 490 4632 84.
C/O Mackrell Solicitors, 60 St Martins Lane, Covent Garden, London, United Kingdom, WC2N 4JS.
C/O Mackrell Solicitors, 60 St Martins Lane, Covent Garden, London, United Kingdom, WC2N 4JS.