Join us and build the future of Autonomy!

Making autonomous vehicles safe can be both rewarding and fun!

Brilliant minds

A top notch R&D team you can learn and grow with. We at Foretellix provide an atmosphere of collaboration and sharing. You can be sure your ideas will make a difference!

Work can be fun!

We are one big happy family! Happy Hours, social events, a pampering cafeteria and all the perks that will make you feel at home.

Work Life Balance

We believe that maintaining the correct balance between work and your personal time with family and friends is key!

Looking at the Bigger Picture

The company was created to do good for our world. We have a mission to help unleash the full potential of the autonomous vehicle revolution and by that safe lives and help the sharing economy.

“Great things in business are never done by one person. They’re done by a team of people.”

- Steve Jobs

Come help us make autonomous vehicles a reality

Location: Foretellix Israel 

What will you do:

  • Develop a revolutionary system for qualifying autonomous vehicles, and be involved in changing the world…
  • Manage a SW team which develops a breakthrough monitoring sub-system for the Autonomous Vehicles domain.
  • Work fully hands-on in coding, debugging, testing and simulations, using object-oriented and aspect-oriented languages, under Linux.
  • Lead the design and development of the monitoring sub-system, which tracks the executions of automotive scenarios. This includes the construction of recognizers based on formal definitions and the implementation of their execution engine.
  • Take significant role in defining the R&D directions of the Monitor Team.
  • Tackle and resolve algorithmic SW problems.
  • Support other team-members, and junior engineers – in particular.
  • Learn new domains, tools and languages.

Requirements:

  • Experienced (in either academic or industrial setting) in the following:
    Formal Languages, Finite Automata, Model Checking, Temporal logic.
  • Expected to be fully hands-on and has high technical expertise
  • A Senior Software Engineer with over 8 years’ experience in object-oriented software development and programming (OOD-OOP).
  • BSc in Computer-Science /Software-Engineering with high scores, or equivalent combination of education and experience.
  • Proficiency in developing large native Linux software using C/C++
  • Highly skilled in software architecture and algorithm development.
  • Self-learner, highly motivated, self-paced.

Advantages:

  • Experienced in leading successfully a Software R&D Team.
  • M.Sc. or above in Computer-Science.
  • Previous experience with advanced HW/SW Formal Verification systems
  • Previous experience in Automotive industry, Autonomous Vehicles, Robotic systems.

Location: Foretellix Israel 

What will you do:

  • Develop a revolutionary system for qualifying autonomous vehicles, and be involved in changing the world…
  • Work closely with the CTO and other R&D members to identify, define and analyze the SW challenges, design and implement SW solutions.
  • Work fully hands-on in coding, debugging, testing and simulations
  • Take part in the development of a new client-server web-based architecture
  • Tackle and resolve algorithmic SW problems.
  • Take part in technical meetings with colleagues, partners and customers; participate in demos for (potential) partners and customers
  • Support other team-members, and junior engineers – in particular.
  • Learn new domains, tools and languages

Requirements:

  • A Senior Software Engineer with over 5 years’ experience in object-oriented software development and programming (OOD-OOP).
  • Proficiency in developing large software using Java / Kotlin
  • B.Sc. in Computer-Science /-Engineering with high scores, or an equivalent combination of education and experience.
  • Highly skilled in software architecture and algorithm development.
  • Knowledge in Spring framework
  • Self-learner, highly motivated, self-paced.

Advantages:

  • M.Sc. or above in Computer-Science.
  • Knowledge in SQL and NoSQL databases

Location: Foretellix Europe 

Main Responsibilities:

  • Deployment of the Foretellix solution (composed of a Product, Language, and Methodology) at our leading automotive customers.
  • Effectively engage with new customers including initial demonstration of value proposition through successful evaluations, provide remote and onsite training, support, and methodology consulting.
  • Work with R&D to address product gaps and requirements, leveraging your understanding of both the product customers’ needs, and business landscape.
  • Spend substantial part of his/her time with the Customers, at their sites, primary at the EU, and develop effective relationship with customer stakeholders.
  • Write customer specific verification software, such as scenarios and/or scripts, including coding, testing, debugging and delivery.
  • Write Application Notes, Methodology docs, technical presentations, or any other deployment related collateral.
  • Understand the Customers’ modeling requirements and translate them to language constructs requirements in order to enhance the supported features of Foretellix solution.
  • Lead the bi-directional knowledge transfer between the Company’s R&D and the Customers.
  • Support installation and deployment of new versions, and/or SW packages at Customers’ sites.

Requirements:

  • Solid knowledge and experience in Software Engineering, including OO programming, testing, debugging and delivery.
  • Previous experience in customer related engineering organization, with strong preference to Field Application/Sales Engineering or Services.
  • Fluent in English, Verbal and Written.
  • Outstanding human relationships with strong business acumen.
  • Availability to travel 30-50% of your time.
  • Located in EU with strong preference to Northern or Central Europe. Eligible to work in the EU.
  • BSc in Computer-Science/Electrical Engineering/Mechanical Engineering or equivalent.

Advantages:

  • Previous experience with the automotive industry and with verification and/or simulation of cars and/or Autonomous Vehicles (AV) and/or other autonomous systems and Robots.
  • Previous experience with Coverage Driven RTL verification, preferably with Specman (‘e’ language), and/or SystemVerilog UVM.
  • Living in Gothenburg (Sweden), Stuttgart or Munich (Germany).

Location: Foretellix Israel 

Main Activities:

  • Participate in defining Foretellix’s Measurable Scenario Description Language (M-SDL), including its constructs and semantics. M-SDL is an object-oriented, aspect-oriented, domain-specific language for describing the behavior of autonomous vehicles and verifying their safety.
  • Represent Foretellix and M-SDL and be an active participant in various international language standards committees.
  • Produce a variety of materials that present M-SDL to different forums, including papers, presentations, training material, and workshops.
  • Take ownership of the externalization of M-SDL, including maintaining of a relevant website, answering partner questions and handling feedback.
  • Understand end-user modeling and simulation requirements, and make sure they are translated to language constructs.

Requirements:

  • Highly experienced as a computer scientist.
  • Familiar with SW Language topics such as Scala vs. Java, Swift vs. ObjectiveC, static vs. dynamic binding, declarative vs. procedural, internal-vs-external DSLs.
  • Knowledgeable and experienced with multiple programming languages and in particular, the definition, semantics and design tradeoffs of object-oriented languages.
  • Knowledgeable about how a programming language is compiled, interpreted and implemented.
  • Very eloquent, with the ability to create formal and clear definitions.
  • Very good English – both verbal and written.
  • Excellent communicator, out-going, team-player, can work in harmony with an international committee.
  • Willingness to travel abroad up to 20% of the time.

Advantages:

  • Previous experience working on standards committees, such as Accellera, ISO work-groups, and SAE.
  • Previous experience with functional safety and safety methodologies.
  • Previous exposure to advanced verification languages, specifically to the e language, SystemVerilog, SystemC, or PSS.
  • Previous experience with the formal semantics of various notations, for example, temporal languages.
  • Previous exposure to the automotive industry and to simulation of Autonomous Vehicles (AVs).
  • Proven experience in writing industrial compilers and/or interpreters.
  • PhD in Computer-Science.

Location: Foretellix Israel

What will you do:

  • Develop a revolutionary system for qualifying autonomous vehicles, and be involved in changing the world…
  • As a member of the Generation-Team, develop breakthrough solving technologies for challenging constrained test-cases generation, for the Autonomous Vehicles domain.
  • Work fully hands-on in coding, debugging, testing and simulations, using object-oriented and aspect-oriented languages, under .
  • Take part in development of a new high-level open-source language, its , interpreter and unique sub-systems.
  • Take significant role in defining the R&D directions of the Generation Team.
  • Tackle and resolve algorithmic SW problems.
  • Support other team-members, and junior engineers – in particular.
  • Learn new domains, tools and languages.

Requirements:

  • A Senior Software Engineer with over 5 years’ experience in object-oriented software development and programming (OOD-OOP).
  • Experienced (either at academy or industry) in one or more of the following: /// Solving, Constrained Random Test-Generation.
  • BSc/BA in Computer-Science /Software-Engineering with high scores, or equivalent combination of education and experience.
  • Proficiency in developing large native software using C/C++
  • Highly skilled in software architecture and algorithm development.
  • Self-learner, highly motivated, self-paced.

Advantages:

  • Sc. or above in Computer-Science.
  • Previous experience with advanced HW/SW Verification systems
  • Previous experience in any of the following fields:
    • Automotive industry, and autonomous vehicles in particular.
    • Robotic systems.

Please fill in the form below and we’ll be happy to be in touch.

Your request has been sent

We’ll get back to you as soon as possible.

M-SDL Open Source Project Registration

* Required field

We're committed to your privacy. By downloading this content, you agree to receive Foretellix newsletter or other communications. You may unsubscribe from these communications at any time. For more information, check out our Privacy Policy.

Enter your query below and we'll get back to you shortly

* Required field

We're committed to your privacy. Foretellix uses the information you provide to us to contact you about our relevant content, products, and services. You may unsubscribe from these communications at any time. For more information, check out our Privacy Policy.

Enter your query below and we'll get back to you shortly

* Required field

We're committed to your privacy. Foretellix uses the information you provide to us to contact you about our relevant content, products, and services. You may unsubscribe from these communications at any time. For more information, check out our Privacy Policy.

Enter your details below to sign up for the Foretellix newsletter!

* Required field

We're committed to your privacy. Foretellix uses the information you provide to us to contact you about our relevant content, products, and services. You may unsubscribe from these communications at any time. For more information, check out our Privacy Policy.