Overview
Country: Japan
City: Tokyo
Category: AI Research
Required Background: Applied Math / Computer Science / Software Engineering
Tokyo Office: Hybrid Work
Outside Tokyo: Remote Work
Relocation: Possible
Employment Type: Full-Time
Keywords:
Knowledge Representation, System Design, Formal Systems, Applied Math, Functional Programming, Machine Learning, Automated Reasoning, Automated Code Transformation
Research Engineer
The company develops a system capable of semantic processing of programming code, e.g., code analysis, transformation, and synthesis, as well as operating a computational environment. The approach combines explicit knowledge representation in discrete structures with ML-assisted algorithms to manipulate those structures. The system we design should be able to follow the reasoning trajectory and examine the internal logic; identify a lack of information and interact with external sources; incorporate new knowledge at later stages equally inexpensive as at the initial ones.
Research Engineer
The company develops a system capable of semantic processing of programming code, e.g., code analysis, transformation, and synthesis, as well as operating a computational environment. The approach combines explicit knowledge representation in discrete structures with ML-assisted algorithms to manipulate those structures. The system we design should be able to follow the reasoning trajectory and examine the internal logic; identify a lack of information and interact with external sources; incorporate new knowledge at later stages equally inexpensive as at the initial ones.
Overview
Country: Japan
City: Tokyo
Category: AI Research
Required Background: Applied Math / Computer Science / Software Engineering
Tokyo Office: Hybrid Work
Outside Tokyo: Remote Work
Relocation: Possible
Employment Type: Full-Time
Keywords:
Knowledge Representation, System Design, Formal Systems, Applied Math, Functional Programming, Machine Learning, Automated Reasoning, Automated Code Transformation
Research Engineer
The company develops a system capable of semantic processing of programming code, e.g., code analysis, transformation, and synthesis, as well as operating a computational environment. The approach combines explicit knowledge representation in discrete structures with ML-assisted algorithms to manipulate those structures. The system we design should be able to follow the reasoning trajectory and examine the internal logic; identify a lack of information and interact with external sources; incorporate new knowledge at later stages equally inexpensive as at the initial ones.
Overview
Country: Japan
City: Tokyo
Category: AI Research
Required Background: Applied Math / Computer Science / Software Engineering
Tokyo Office: Hybrid Work
Outside Tokyo: Remote Work
Relocation: Possible
Employment Type: Full-Time
Keywords:
Knowledge Representation, System Design, Formal Systems, Applied Math, Functional Programming, Machine Learning, Automated Reasoning, Automated Code Transformation
What we need help with
1. Architecture. Designing system architecture that accounts for both theoretical developments and practical considerations.
2. Algorithms. Developing algorithms from theoretical descriptions and mathematics. Establishing exact training protocols for ML models and designing requirements for Engineers work.
3. Prototyping. Designing prototypes and proof-of-concept level solutions, that demonstrate core features of the company technology.
4. Assessment of feasibility. Serve as a constant communication channel between Research Scientists representing the theoretical side of things and Software/ML Engineers representing the practical side of things. Assess which proposed solutions and approaches are feasible from both sides' perspectives.
5. Maintaining systemic vision. Answering clarifying questions about all parts of the system, keeping knowledge about solutions up to date, identifying blind spots and problems with system design.
6. Balancing conventional and unconventional. Analysing and deciding which parts of the system should be designed and implemented using pre-existing algorithms and solutions and which require exploration. Similarly deciding on which problems should be solved by using Machine Learning and which by classical algorithms and data structures. Finding the optimal balance between interpretability, corrigibility, transparency and performance, feasibility, attainability.
Who we are looking for
1. 5+ year experience as Research Engineer.
2. Experience in several of these areas: Program synthesis, Applied category theory, Knowledge Representation, Functional programming, Discrete Math, Applied Statistics, Algorithmic Complexity, Formal logic, Machine Learning, Transformers, GNN.
3. Languages: Python, Rust, C++, Haskell, OCaml, F#, Scala.
4. Master’s degree or higher.
5. English C1 or higher.
What soft skills are essential
1. Commitment. Make and fulfil commitments on time and at a high-quality level.
2. All-Round. Ability to figure out how to do new tasks from adjacent specialisations.
3. Startup Mindset. Focus on the objective, looking for new approaches, fast forwarding orientation.
4. Constructive Discussion. Presenting own arguments, listening to others' arguments, developing the next steps to resolve the difficulty.
A strong advantage would be
1. Agile Experience. We use a management approach that is close to Agile. Among others, we use guided continuous improvement, task prioritisation, sprints, value delivery, and focus on commitment.
2. The ability to hold thought-leading presentations will help colleagues to understand new concepts and plan their further work.
3. Ability to switch quickly between different levels of abstraction and different contexts.
4. Infrastructure Tools like Notion, Slack, Zotero, Shortcut, Miro.
What we need help with
1. Architecture. Designing system architecture that accounts for both theoretical developments and practical considerations.
2. Algorithms. Developing algorithms from theoretical descriptions and mathematics. Establishing exact training protocols for ML models and designing requirements for Engineers work.
3. Prototyping. Designing prototypes and proof-of-concept level solutions, that demonstrate core features of the company technology.
4. Assessment of feasibility. Serve as a constant communication channel between Research Scientists representing the theoretical side of things and Software/ML Engineers representing the practical side of things. Assess which proposed solutions and approaches are feasible from both sides' perspectives.
5. Maintaining systemic vision. Answering clarifying questions about all parts of the system, keeping knowledge about solutions up to date, identifying blind spots and problems with system design.
6. Balancing conventional and unconventional. Analysing and deciding which parts of the system should be designed and implemented using pre-existing algorithms and solutions and which require exploration. Similarly deciding on which problems should be solved by using Machine Learning and which by classical algorithms and data structures. Finding the optimal balance between interpretability, corrigibility, transparency and performance, feasibility, attainability.
Who we are looking for
1. 5+ year experience as Research Engineer.
2. Experience in several of these areas: Program synthesis, Applied category theory, Knowledge Representation, Functional programming, Discrete Math, Applied Statistics, Algorithmic Complexity, Formal logic, Machine Learning, Transformers, GNN.
3. Languages: Python, Rust, C++, Haskell, OCaml, F#, Scala.
4. Master’s degree or higher.
5. English C1 or higher.
What soft skills are essential
1. Commitment. Make and fulfil commitments on time and at a high-quality level.
2. All-Round. Ability to figure out how to do new tasks from adjacent specialisations.
3. Startup Mindset. Focus on the objective, looking for new approaches, fast forwarding orientation.
4. Constructive Discussion. Presenting own arguments, listening to others' arguments, developing the next steps to resolve the difficulty.
A strong advantage would be
1. Agile Experience. We use a management approach that is close to Agile. Among others, we use guided continuous improvement, task prioritisation, sprints, value delivery, and focus on commitment.
2. The ability to hold thought-leading presentations will help colleagues to understand new concepts and plan their further work.
3. Ability to switch quickly between different levels of abstraction and different contexts.
4. Infrastructure Tools like Notion, Slack, Zotero, Shortcut, Miro.
What we need help with
1. Architecture. Designing system architecture that accounts for both theoretical developments and practical considerations.
2. Algorithms. Developing algorithms from theoretical descriptions and mathematics. Establishing exact training protocols for ML models and designing requirements for Engineers work.
3. Prototyping. Designing prototypes and proof-of-concept level solutions, that demonstrate core features of the company technology.
4. Assessment of feasibility. Serve as a constant communication channel between Research Scientists representing the theoretical side of things and Software/ML Engineers representing the practical side of things. Assess which proposed solutions and approaches are feasible from both sides' perspectives.
5. Maintaining systemic vision. Answering clarifying questions about all parts of the system, keeping knowledge about solutions up to date, identifying blind spots and problems with system design.
6. Balancing conventional and unconventional. Analysing and deciding which parts of the system should be designed and implemented using pre-existing algorithms and solutions and which require exploration. Similarly deciding on which problems should be solved by using Machine Learning and which by classical algorithms and data structures. Finding the optimal balance between interpretability, corrigibility, transparency and performance, feasibility, attainability.
Who we are looking for
1. 5+ year experience as Research Engineer.
2. Experience in several of these areas: Program synthesis, Applied category theory, Knowledge Representation, Functional programming, Discrete Math, Applied Statistics, Algorithmic Complexity, Formal logic, Machine Learning, Transformers, GNN.
3. Languages: Python, Rust, C++, Haskell, OCaml, F#, Scala.
4. Master’s degree or higher.
5. English C1 or higher.
What soft skills are essential
1. Commitment. Make and fulfil commitments on time and at a high-quality level.
2. All-Round. Ability to figure out how to do new tasks from adjacent specialisations.
3. Startup Mindset. Focus on the objective, looking for new approaches, fast forwarding orientation.
4. Constructive Discussion. Presenting own arguments, listening to others' arguments, developing the next steps to resolve the difficulty.
A strong advantage would be
1. Agile Experience. We use a management approach that is close to Agile. Among others, we use guided continuous improvement, task prioritisation, sprints, value delivery, and focus on commitment.
2. The ability to hold thought-leading presentations will help colleagues to understand new concepts and plan their further work.
3. Ability to switch quickly between different levels of abstraction and different contexts.
4. Infrastructure Tools like Notion, Slack, Zotero, Shortcut, Miro.
How we are different
Not just an ML
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
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
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.
How we are different
Not just an ML
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
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
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.
How we are different
Not just an ML
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
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
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.
What we are offering
Good Salary
That is, of course, a very basic condition. We want our colleagues to be healthy, happy and recreated.
Hybrid Remote
Our team members work from both the office and homes all around the world. We are OK with that. However, we like to gather sometimes at the office to get on the same page.
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.
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.
Challenging Work
Automated code synthesis is a holy grail: many want it, but nobody has it. You can read more about it on the Company tab or just write to us. We love cross-pollination.
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.
What we are offering
Good Salary
That is, of course, a very basic condition. We want our colleagues to be healthy, happy and recreated.
Hybrid Remote
Our team members work from both the office and homes all around the world. We are OK with that. However, we like to gather sometimes at the office to get on the same page.
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.
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.
Challenging Work
Automated code synthesis is a holy grail: many want it, but nobody has it. You can read more about it on the Company tab or just write to us. We love cross-pollination.
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.
What we are offering
Good Salary
That is, of course, a very basic condition. We want our colleagues to be healthy, happy and recreated.
Hybrid Remote
Our team members work from both the office and homes all around the world. We are OK with that. However, we like to gather sometimes at the office to get on the same page.
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.
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.
Challenging Work
Automated code synthesis is a holy grail: many want it, but nobody has it. You can read more about it on the Company tab or just write to us. We love cross-pollination.
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.
Join Our Team
We are looking for specialists for full-time
employment or for part-time collaboration.
Join Our Team
We are looking for specialists for full-time employment or for part-time collaboration.