Summary
✨ AI‑Generated
Join a stimulating software engineering team working on programming languages and their implementation. You will use languages such as C, C++, TypeScript, or Prolog, apply software testing and verification practices, and have opportunities to develop skills in static and dynamic analysis, test automation, continuous integration, and Linux administration.
Highlights
Join a dynamic engineering team with hybrid flexibility, opportunities to work on programming languages and their implementation, and the chance to develop advanced testing and analysis expertise on the job.
Description
14/07/2025
Openings
#pisa
Software Engineer, Pisa
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 – primarily in person at our office in Via Fiorentina 214/C, Pisa, with the possibility of integrating smart working.
Requirements
Good knowledge of at least one of the following programming languages: C, C++, Typescript, PrologKnowledge of the theoretical and practical foundations of programming languages and their implementation (interpreters and compilers)Basic knowledge of software testing, verification, and validationFamiliarity with at least one scripting languageAbility 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 techniquesTest automation and Continuous Integration systemsLinux system administration
What We Offer
Remote workFlexible working hoursProductivity incentives and welfare solutionsOpportunities for professional growth and continuous learning
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.
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.
Send your application via email to jobs@bugseng.com, including your CV.
Explore by topic
#aerospace #Agriculture #Automotive #BARR-C #BUGSENG #C #C-rusted #certificate #certification #CerTran #compiler #compliance #consulting #cybersecurity #ECLAIR #education #events #FuSa #guide #household-appliances #Industrial #installation #machinery #Medical #MISRA #misra c++ #misraC #opensource #parma #qualification #Railway #regulations #release #safety #security #solidsands #Space #static analysis #SuperTest #training #unipi #unipr
Share
We are a passionate team of experts.
Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.
CONTACT US
