Join us and build the future of Autonomy!

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.