-
HIL Ingenjör sökes
Hittade i: Jooble SE O C2 - för 1 dag sedan
Affra AB Göteborg, Sverige HeltidDo you want to be a part of our awesome team of HIL Engineers? We are expanding and need to recruit engineers with passion for developing testsystems (HIL ). Would you like to work with Autonomous Drive or brake systems? We build automated testsystems and test excecution. You wil ...
-
Senior C++ Engineer
Hittade i: Jooble SE O C2 - för 3 dagar sedan
MittLogik Göteborg, SverigeWho are we? · We are an IT Services company with over 60 employees, providing effective solutions through consulting services in the ever-evolving world of information technology. Expertise in providing niche talent to projects in Automotive, Embedded and Telecom sectors. · Awar ...
-
Servicetekniker mekanik
Hittade i: Jooble SE O C2 - för 4 dagar sedan
Elektroautomatik i Sverige AB Göteborg, Sverige HeltidDin arbetsroll · Som Servicetekniker mekanik erbjuds du en varierande roll med mycket frihet under ansvar. I din arbetsroll kommer du att jobba i våra serviceprojekt inom industriell verksamhet, såsom robotceller, monteringsutrustningar, specialmaskiner etc. Du kommer att utföra ...
-
Graphics Software Developer
Hittade i: Jooble SE O C2 - för 13 timmar sedan
Repli5 Göteborg, SverigeRepli5 helps train and validate autonomous vehicle systems. We develop software to automate the creation of 3D virtual worlds, used for simulations of autonomous vehicles. We're recruiting a Graphics Software Engineer to join our software development team and help us keep improvi ...
-
System Design Engineer
Hittade i: Jooble SE O C2 - för 13 timmar sedan
Zenseact Göteborg, SverigeEngineering Roles · Gothenburg, Sweden · Hybrid Remote · Good at bridging the gap between high-level requirements and hands-on software development? Want to work in the exciting field of autonomous driving technology and be able to save millions of lives? · Are you ready to be ...
-
Python and C+ developer
Hittade i: Jooble SE O C2 - för 6 dagar sedan
Zenseact Göteborg, SverigeDo you love working as a developer with Python, C++ in Linux and need a real challenge? Want to work with the orchestration that enables our feature teams to run and test our features in simulation, on hardware and in vehicles in a matter of minutes? Do you want a true agile cont ...
-
Lead Software Engineer
Hittade i: Jooble SE O C2 - för 3 dagar sedan
Repli5 Göteborg, SverigeWe're recruiting a Lead Software Engineer to lead our software development team when building a world leading 3D world creator for virtual testing of autonomous systems. You will lead our skilled software development team as well as working closely with the machine learning team ...
-
PhD student position in AI-driven optimization of
Hittade i: Jooble SE O C2 - för 1 dag sedan
Chalmers Tekniska Högskola AB Göteborg, Sverige HeltidPhD student position in AI-driven optimization of variational algorithms for near-term quantum device applications in quantum chemistry · Variational quantum algorithms (VQAs) seek to make the most of noisy intermediate-scale quantum (NISQ) devices currently operating at academic ...
-
System Design Engineer Engineering Roles · Gothenburg, Sweden · Hybrid
Hittade i: Jooble SE O C2 - för 13 timmar sedan
Zenseact Göteborg, SverigeAre you ready to be at the forefront of autonomous vehicle technology? Would you like to play a pivotal role in translating complex requirements into actionable tasks for our software developers? You'll work closely with highly skilled people, using cutting-edge hardware and soft ...
-
System Design Engineer
Hittade i: Jooble SE O C2 - för 13 timmar sedan
Zenseact Göteborg, SverigeAre you ready to be at the forefront of autonomous vehicle technology? Would you like to play a pivotal role in translating complex requirements into actionable tasks for our software developers? You'll work closely with highly skilled people, using cutting-edge hardware and soft ...
-
IAM Product Owner
Hittade i: Jooble SE O C2 - för 3 dagar sedan
Volvo Business Services AB Göteborg, Sverige HeltidWho we are and what we believe in · We are committed to Inclusion, Diversity, and Equity, fostering a safe and supportive workplace where everyone can thrive. We encourage applicants to apply even if they don't meet all qualifications. · Joining Volvo Group means becoming part of ...
-
PhD student position in AI-driven optimization of variational algorithms for near-term quantum device applications in quantum chemistry
Hittade i: Talent SE C2 - för 2 dagar sedan
Chalmers tekniska högskola Gothenburg, SverigeVariational quantum algorithms (VQAs) seek to make the most of noisy intermediate-scale quantum (NISQ) devices currently operating at academic and industrial labs around the world. VQAs are hybrid algorithms where NISQ devices are controlled via optimization algorithms implemente ...
-
PhD student position in Safety Engineering for Trustworthy Autonomy
Hittade i: Jooble SE O C2 - för 3 dagar sedan
Chalmers Tekniska Högskola AB Göteborg, Sverige HeltidYou will be a part of an exciting research environment and acquire the skills to conduct independent research. You will contribute to a future in which we can rely on better learning-enabled autonomous systems that have the potential to improve healthcare, transportation, and oth ...
-
Software Developer
Hittade i: Jooble SE O C2 - för 13 timmar sedan
Zenseact Göteborg, SverigeEngineering Roles · Gothenburg, Sweden · Hybrid Remote · Software Developer - Sensor Fusion Can your software skills push our Autonomous Driving algorithms into reality? At Zenseact we are passionate about life and safety. Join us to make this real · Can your sof t ware skills ...
-
Senior SW Developer
Hittade i: Jooble SE O C2 - för 1 dag sedan
Volvo Car Corporation Göteborg, SverigeLet's create the future together. · At Volvo Cars, we believe that being curious and truly committed to understanding people is the key to future success. We are people who care about other people, working together to create new technologies and innovations for safe, sustainable ...
-
Senior C++ Developer for self driving cars
Hittade i: Jooble SE O C2 - för 3 dagar sedan
Zenseact Sweden Göteborg, SverigeAre you a senior C++ developer and find that you would like to share your knowledge to others? Do you want a career at the forefront of the automotive industry, where cutting edge technology for self driving cars is developed? Do you want to work with creating solutions that can ...
-
Experienced Python Developer
Hittade i: Jooble SE O C2 - för 13 timmar sedan
Zenseact Göteborg, SverigeAre you a software developer who is eager on leveraging data and believes in the vital role of simulations in engineering? Do you seek to work in a collaborative, inclusive environment with the most skilled people, contributing to cutting-edge technology that could potentially sa ...
-
AD/ADAS Calibration Engineer
Hittade i: Jooble SE O C2 - för 3 dagar sedan
Zenseact Sweden Göteborg, Sverige· Insights from the team · Computer Vision is one of the key techniques in autonomous driving vehicles and vision sensors such as Lidars and cameras make the foundation of the entire vision system. · Zenseact's autonomous driving systems are dependent on accurate calibrat ...
-
Experienced Python Developer
Hittade i: Jooble SE O C2 - för 13 timmar sedan
Zenseact Göteborg, SverigeAre you a software developer who is eager on leveraging data and believes in the vital role of simulations in engineering? Do you seek to work in a collaborative, inclusive environment with the most skilled people, contributing to cutting-edge technology that could potentially sa ...
-
Software Verification Engineer Automotive Passive Safety Electronics
Hittade i: Jooble SE O C2 - för 1 dag sedan
Arion Recruitment Göteborg, SverigeOur Automotive client is seeking a Software Test engineer toverify Safety Electronics within our clientsBase Function Verification Team within Passive Safety. You will collaborate closely with design teams contribute to system and function testing and develop innovative test meth ...
Postdoc in Formal methods for Correct-by-Design of Autonomous Systems - Göteborg, Sverige - Göteborg University
Beskrivning
Ref PAR 2024/253 The University of Gothenburg tackles society's challenges with diverse knowledge students and 6 600 employees make the university a large and inspiring place to work and study.
Strong research and attractive study programmes attract researchers and students from around the world. With new knowledge and new perspectives, the University contributes to a better future.The department of Computer Science and Engineering is strongly international, with approximately 300 employees from over 30 countries. The department is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals.
The postdoc position is placed in the Formal Methods research group in the Division for Computing science at the department, with the University of Gothenburg as the employer.
Subject area
Formal methods (Correct-by-Design Techniques)Subject area
Join the SynTM research project and be part of developing novel correct-by-design techniques for autonomous systems.This position is part of a grant, named SynTM (from the Swedish Research Council), on automatic synthesis of programs for autonomous systems.
Early results appeared in venues such as AAMAS, ACC, JAAMAS etc. Our goal is to build correct-by-design techniques for autonomous systems, including (but not limited to) controller synthesis.The research group is part of the Formal Methods unit within the Computing Science division at the Computer Science and Engineering department .
The unit and the broader division are lively environments with fun interactions between research areas such as Formal Verification, Functional Programming, Type Theory, Information Security and more.
Our research involves developing theories and techniques for formal verification of autonomous systems, e.g., controller synthesis, planning, run-time verification, model checking, etc.
Moreover, we are open to techniques that leverage the use of formal verification in machine learning.Currently, we are actively developing specialised tools for reconfigurable concurrent systems (the ReCiPe formalism, the R-CHECK Model-Checker, and the SynTM synthesis engine).
Concrete tasks may involve (but not limited to) further developing existing theories and tools, developing case studies that showcase the practical impact of existing theories.
However, there may be opportunities to broaden the reach of activities based on mutual interests.Duties
The position is a full-time position for two years in the Formal Methods research group at the Department of Computer Science and Engineering. The successful applicant will be expected to conduct high-quality research and to publish in leading international venues.The applicant should be able to work both independently and as part of a team on research related broadly to the goals of the project and communicate the results verbally and in writing.
Additionally, the successful applicant will be expected to perform teaching activities including supervision of Bachelor's and Master's thesis projects for at most 20% of her/his time, as well as possible co-supervision of PhD candidates.
Eligibility
The eligibility criteria for employing teaching staff are set out in Chapter 4 of the Higher Education Ordinance and in the Appointment Procedure for Teaching Posts at the University of Gothenburg.To be eligible for appointment as a postdoc, the applicant is required to have a doctoral degree, a doctoral degree in art or a foreign degree that is deemed to be equivalent to a doctoral degree.
This eligibility requirement must be met before the employment decision is made.In the first instance, those who have completed their degree no more than three years prior to the end of the application period shall be considered.
Those who have completed their degree more than three years prior to the end of the application period may also be considered in the first instance if special grounds exist.
Special grounds relate to leave of absence due to illness, parental leave, commissions of trust within union organisations, service within the defence services or other similar circumstances, as well as clinical service or service/assignment relevant to the subject area.
Assessment criteria
Regulations for the evaluation of qualifications for academic positions are given in Chapter 4, Section - 4 of the Higher Education Ordinance.Competitive candidates are expected to have a strong background, with an excellent publication record, and experience of working with one (or more) of the following: Formal methods (e.g., concurrency, automata, or temporal/spatial logics, etc) or discrete control (e.g., planning, supervisory control, or controller synthesis, etc).
Verification tools such as Model Checkers, Synthesis Engines, etc. Prior experience in combining reinforcement learning with reactive synthesis and/or control is a plus. However, we also welcome candidates working on nearby areas who would be interested in getting into the field.Experience of supervising doctoral students, master's students, and teaching in third cycle courses will also be considered as a merit.
The applicant should be able to work both independently and as part of a team. The abilities to cooperate and to take own initiatives are important qualities together with accuracy and interest in research. When evaluating the applicants, particular emphasis will be put on research skills in the relevant research field.Whereas both Swedish and English are used in undergraduate courses, English is the working language for research at the Department of Computer Science and Engineering.
Thus, both verbal and written fluency in English is mandatory for candidates.Employment
Type of employment:Fixed-term employment, 24 months, central agreement
Extent: 100% of full time
Location:
Department of Computer Science and Engineering/ Division of Computing Science, Formal methods research group
First day of employment:
or according to agreement
Contact information
If you have any questions about the projekt, please contact Yehia Abd Alrahman ( @ )If you have any questions about the position, please contact Aarne Ranta ( @ )
If you have any questions about the recruitment process, please contact HR-partner Robin Garnham ( robin.
garnham @
Unions
Union representatives at the University of Gothenburg can be found here:hjalp-for-sokande
Application
Submit your application via the University of Gothenburg's recruitment portal by clicking the "Apply" button.It is your responsibility to ensure that the application is complete as per the vacancy notice, and that the University receives it by the final application deadline.
The application is to be written in English and should include, CV:(Please name the document as: CV, Family name) including: CV, include complete list of publications; Previous teaching and pedagogical experiences; Two references that we can contact
Personal letter:
(Please name the document as: Personal letter, Family name), 1-3 pages where you: Introduce yourself; Describe your previous research fields and main research results; Describe your future goals and future research focus
Other documents:
Attested copies of completed education, grades and other certificates.
Applications must be received by:
Information for International Applicants Choosing a career in a foreign country is a big step.
Thus, to give you a general idea of what we and Gothenburg have to offer in terms of benefits and life in general for you and your family/spouse/ partner please visit:
The University works actively to achieve a working environment with equal conditions, and values the qualities that diversity brings to its operations.
Salaries are set individually at the University.In accordance with the National Archives of Sweden's regulations, the University must archive application documents for two years after the appointment is filled.
If you request that your documents are returned, they will be returned to you once the two years have passed.
Otherwise, they will be destroyed. In connection to this recruitment, we have already decided which recruitment channels we should use. We therefore decline further contact with vendors, recruitment and staffing companies.In your application, please refer to and reference JobID .