Software Engineer

BUGSENG; Pisa; Ibrido; EUR 30.000 - 50.000; Tempo pieno

Descrizione del lavoro

BUGSENG, a leader in software verification and validation solutions, seeks passionate software engineers to join their dynamic team. Ideal candidates will have a background in computer science and proficiency in languages like C and C++. Remote work is supported, promoting flexibility in achieving both personal and company goals.

Servizi

Remote work

Flexible working hours

Productivity incentives

Welfare solutions

Professional growth opportunities

Continuous learning

Competenze

• Good knowledge of programming languages and their implementation.
• Familiarity with software testing and verification.
• Ability to communicate technical content in English.

Mansioni

• Join a dynamic team and contribute to software verification efforts.
• Engage in programming tasks and adopt new technologies for continuous improvement.
• Participate in a hybrid work environment, balancing remote work with on-site collaboration.

Conoscenze

Programming languages (C, C++, Typescript, Prolog)

Software testing

Verification and validation

Scripting language

Technical communication

Formazione

Degree in Computer Science or Engineering

Strumenti

Continuous Integration systems

Linux system administration

Descrizione del lavoro

About BUGSENG

BUGSENG is a leading provider of advanced solutions for software verification and validation. Founded with the mission to improve software quality across safety- and mission-critical domains, we combine deep theoretical expertise with practical engineering to help organizations achieve compliance, safety, and peace of mind.

Our flagship product, the ECLAIR Software Verification Platform, is a state-of-the-art static analysis toolset designed to support the development of reliable, robust, and standards-compliant software. ECLAIR is trusted by major players in automotive, aerospace, railway, medical, and industrial automation sectors for achieving compliance with international safety and security standards, including MISRA and functional safety standards.

At BUGSENG, we believe that software verification is not just a compliance requirement, but a key enabler of engineering excellence. That is why we go beyond tools: we provide expert consulting, training, and custom solutions to support our customers throughout their software development lifecycle.

Opportunity: BUGSENG is looking for software engineers with a strong passion for the field and a background in computer science and/or engineering, to join a dynamic and stimulating team.

Location: Hybrid. When in person, in our office at Via Fiorentina 214/C, Pisa.

Requirements:

• Good knowledge of at least one of the following programming languages: C, C++, Typescript, Prolog
• Knowledge of the theoretical and practical foundations of programming languages and their implementation (interpreters and compilers)
• Basic knowledge of software testing, verification, and validation
• Familiarity with at least one scripting language
• Ability to read and communicate technical IT content in English

Desirable skills (not strictly required — they will be acquired on the job):

• Static and dynamic analysis techniques
• Test automation and Continuous Integration systems
• Linux system administration

What we offer:

• Remote work
• Flexible working hours
• Productivity incentives and welfare solutions
• Opportunities for professional growth and continuous learning

Send your application via email to [e-mail], including your CV.

BUGSENG is an equal opportunity employer. In compliance with all relevant laws and regulations, and going beyond them, employment opportunities are available regardless of race, color, sex, religion, national origin, age, disability, or other legally protected status. This principle applies to all aspects of the employment relationship, including recruiting, hiring, training, work assignment, promotion, transfer, termination, and compensation.