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, 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.
• 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 native software using C++
• Sc. in Computer-Science /-Engineering with high scores, or equivalent combination of education and experience.
• 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 Verification systems, and specifically with Specman and the “e” language (see a link).
• Previous experience in any of the following fields:
  • Automotive industry, and autonomous vehicles in particular.
  • Robotic systems.
  • Game development engines, such as Unity and Unreal.

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

What will you do:

• Develop a revolutionary verification system for autonomous vehicles (AV), and be involved in changing the world…
• Design and Implement by code real-time algorithms for vehicle navigation in a dense dynamic environment. Applying theoretical and engineering tools in the domains of Robotic path planning, Path execution control, optimal control, and robust control.
• Work with cutting edge AV (Autonomous Vehicles) Simulation environments.
• Work fully hands-on in coding, debugging, and testing, using C++, Python, Matlab and more.
• Cooperate with world-leading teams developing AVs.
• Take part in technical meetings with colleagues; participate in demos for (potential) partners and customers.
• Support other team-members, and junior engineers in particular.

Requirements:

• M.Sc. (or above) in Mechanical Engineer, experienced in Robotics and OO Software development.
• At list 5 years of experience in a similar role.
• Previous knowledge & experience in Path Planning and Path Following Control for Autonomous Vehicles.
• Previous knowledge & experience in Optimal Control, Robust Control and Real-time Applications.
• Previous knowledge in Robot Navigation and Vehicle Dynamics.
• Proficiency in developing native Linux software and algorithms using OO, Python, and C++.
• Proficiency in Matlab and Simulink.
• Self-learner, highly motivated, self-paced.

Advantages:

• B.Sc. (or above) in Computer Science.
• PhD in Mechanical Engineer (Robot navigation and control).
• Previous knowledge & experience in any of the following fields:
  • Autonomous Vehicle
  • ADAS (Advanced Driver Assistance Systems)
  • Multi-agent robotic systems
  • Simulators for AV development (Carla, Vires, Sumo)
  • Game Engines (Unity, Unreal)
  • ROS (Robotic Operation System)
  • System Verification

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.

Location: Foretellix Israel / USA / Global

Main Activities:

• Define and document methods of how to best use Foretellix platform for achieving full verification and safety of autonomous vehicles (AV).
• Deeply understand Foretellix SW platform (composed of a Product & Language) and invent and define the best ways to use this platform, i.e. create Foretellix’ Methodology.
• Write Methodology docs, Application Notes, as well as technical presentations.
• Spend part of your time with Foretellix’ customers, at their sites at USA.
• Train and coach the customers on deploying Foretellix’ solution and using Foretellix Methodology.
• Understand the product and the customers’ needs, and work with the customers to adopt the product – by demoing, training, and helping them addressing issues.
• Work with R&D guys and define for them gaps and requirements regarding the Product and the Language.
• Understand the customers’ verification pain, translate it into technical terms, and communicate it quickly and clearly to R&D.
• Write verification scenarios that match the customers’ needs; when needed, test, debug, simulate and finally – deliver them.
• Participate in understanding the customers’ modeling requirements, and in translating them to language constructs requirements.
• Take a leading role in the bi-directional knowledge transfer between the Company’s R&D and the customers.

Requirements:

• Have a considerable knowledge and experience in Software Engineering, including OO programming, testing, debugging and delivery.
• Have considerable knowledge and experience with HW verification and simulation, OR
• Have considerable knowledge and experience with Simulation and Testing of autonomous vehicles (or ADAS) as a whole system (as opposed to HW parts, or subsystems).
• Previous experience as an Application- / Solution- / SW Development Engineer.
• BSc (or higher) in Computer-Science or equivalent.
• Highly creative and passionate about elegant and efficient solutions using programming languages.
• Eloquent and communicative in English, both verbal and in writing, with excellent teaching and coaching capabilities.
• Be willing to travel within/to USA and Europe, to spend part of your time at customers’ sites, and to travel to (or stay at) Israel to work with the company’s R&D.
• At least 7 years of work experience post-graduation.

Advantages:

• Have adequate knowledge and experience in running AV simulations.
• Previous experience with advanced verification, and specifically with Specman and the ‘e’ language, and/or SystemVerilog UVM and Coverage Driven Verification.
• MSc or above in Computer-Science or equivalent.
• If located at USA, then residence in the San Francisco Bay Area (the Silicon Valley) is an advantage.

Location: Foretellix Israel 

What will you do:

Develop a revolutionary verification system for autonomous vehicles (AV), and be involved in changing the world.

• Work closely with the CTO and other R&D members to identify, define and analyze the AV-simulation challenges, design and implement solutions.
• Deeply learn a few cutting-edge AV-Simulators; specification, design and implementation of integration with these AV-Simulators.
• Learn and practice new tools
• Work fully hands-on in coding, debugging, and testing, using C++, Python and more.
• Take part in technical meetings with colleagues; participate in demos for (potential) partners and customers.
• Support other team-members, and junior engineers in particular.

Requirements:

• A Software or Mechanical Engineer, experienced in software development and OOD-OOP.
• B.Sc. in Computer-Science or Engineering, with high scores, or equivalent combination of education and experience.
• Previous knowledge & experience in development with game-engines, such as Unity and Unreal.
• Previous knowledge & experience in Simulation of Vehicle Dynamics.
• Proficiency in developing native software and algorithms, using C++.
• Self-learner, highly motivated, self-paced.

Advantages:

• Another B.Sc. (or above) In Software or Mechanical Engineering.
• Previous knowledge & experience in any of the following fields:
• Programming TCP/UDP Sockets, and Protobuf
• Automotive industry, and AV in particular.
  • 3D modeling and image rendering
  • MATLAB and Simulink
  • Control system engineering
  • Robotics
  • System Verification

Location: Foretellix Israel 

What will you do:

Develop a revolutionary verification system for autonomous vehicles, and be involved in changing the world.

•  Your main responsibility will be to build smart libraries using Foretellix platform and Scenario Description Language.
• You will become a professional in both verification methodologies and driving scenarios.
• You will develop the libraries, work with R&D to drive the libraries’ needs, and work with customers to improve the libraries functionality, usability and effectiveness.
• Learn new tools and formal languages.
• Work fully hands-on in coding, debugging, testing and simulations, using “e”, C++ and more.

Requirements:

• A Senior Software Engineer with over 5 years’ experience in software development and OOD-OOP.
• B.Sc. in Computer-Science /-Engineering with high scores, or equivalent combination of
  education and experience.
• Proficiency in developing large native software using C/C++.
• Previous experience with advanced HW Verification systems, and specifically with Specman and the “e” language.
• Highly skilled in software architecture and algorithm development.
• Self-learner, highly motivated, self-paced.

Advantages:

• M.Sc. or above in Computer-Science.
• Previous experience in any of the following fields:
  • Automotive industry, and autonomous vehicles in particular.
  • Robotic systems.
  • Game development engines, such as Unity and Unreal.