Total 60 Junior Executive process development engineer job vacancies in Taglin Road, Central Singapore

Are you driven, ambitious, and ready to thrive in a dynamic sales environment?

At Masstron Pte Ltd, we provide One-Stop Total Communication Solutions for the Marine and Factory Automation industries. We are looking for a passionate Sales Executive to join our team, playing a key role in expanding our client base and driving business growth in these fast-paced sectors.

Why Join Us?

• Competitive Salary Package: Attractive base salary + high commission
• Career Growth Opportunities: Fast-track career progression into leadership roles for high performers
• Comprehensive Training: Ongoing product and sales training to ensure your success
• Industry-Specific Exposure: Work with cutting-edge communication solutions for marine and factory automation industries

Key Responsibilities:

• Identify and generate new business opportunities through cold-calling, networking, and referrals
• Build and maintain strong relationships with new and existing clients in the Marine and Factory Automation sectors
• Present and promote our Total Communication Solutions to potential clients
• Achieve sales targets and contribute to the overall growth of the company
• Prepare and deliver sales presentations and proposals tailored to industry-specific needs
• Collaborate with internal teams to ensure smooth delivery and customer satisfaction
• Maintain accurate records of sales activities and client interactions

Requirements:

• Diploma or Degree in Business, Marketing, or a related field
• 1-2 years of experience in B2B sales, preferably in Marine or Factory Automation sectors (fresh graduates with passion for sales are welcome to apply)
• Excellent communication and interpersonal skills
• Driven, self-motivated, and results-oriented
• Ability to work independently and as part of a team
• Willingness to travel for client meetings (if required)

What We Offer:

• Competitive salary with attractive commission structure
• Transportation and mobile allowance
• Fun and energetic work environment with team-building activities
• Medical benefits
• Professional development and training opportunities

Perks & Benefits

• Employee equity
• Personal leave
• Personal development opportunities

-Supervise and coordinate the activities of site contractors ;

· Monitor job progress and ensure that civil and structural contracted works meets all practical, commercial, requirements of productivity, quality and contract target completions;

· Ensure all design work conforms to the codes and standards used by the client, or to agreed industry standards.

· Implement and oversee site projects assigned to ensure smooth project execution

· Manage internal and external contractors well to ensure quality of work and scope of work is within specifications.

· Responsible for all inspection activities being carried out.

· Assist in planning, schedule and technical support to PM and/or resident engineerr.

Established in 2017, QCP is one of the first digital asset trading firms in Singapore, with a vision to partner the next generation of investors to unlock institutional opportunities in digital assets. 

QCP brings to clients deep expertise gained from thriving through multiple market cycles. A global market maker in digital asset derivatives with a vast network of liquidity providers and counterparties, we are shaping the future of digital asset markets through greater access and efficiency. 

We offer a range of tailored derivatives and spot trading as well as structured solutions to institutional, professional and accredited investors. We also provide 24/7 liquidity across various markets in partnership with various exchanges and platforms. 

QCP is headquartered in Singapore and is supported by a strong team of professionals in trading, business development, operations, risk and compliance teams.

Our in-house publications track the constantly evolving state of digital assets and markets, and can be accessed on our Telegram (t.me/QCPbroadcast), website (qcpgroup.com), Twitter (@qcpgroup) and LinkedIn.

Responsibilities

As an Entry-Level Cloud Engineer at QCP Capital, you will play a key role in supporting the design, implementation, and maintenance of our AWS infrastructure. You will be part of the Technology Operations team, reporting to the Head of Technology, and will work closely with cross-functional teams to ensure our cloud-based systems' availability, scalability, and security. This is a great opportunity for a recent graduate with a passion for cloud technologies to gain hands-on experience and grow their skills in a dynamic and fast-paced environment.

• AWS Infrastructure Management
• Assist in the design, deployment, and maintenance of scalable and highly available AWS infrastructure.
• Support the implementation and management of AWS services such as ECS, EC2, S3, RDS, Lambda, Networking, and others as needed.
• Monitor and optimize resource usage, performance, reliability, and costs.
• Monitor and improve AWS network performance.
• Security and Compliance
• Participate in regular security assessments and audits to ensure compliance with industry standards.
• Work closely with the security team to assist in responding to and remediating security incidents.
• Support efforts to enhance cloud infrastructure and data protection following Well Architected Framework principles.
• Automation
• Develop basic infrastructure as code (IaC) using tools such as Terraform, CloudFormation, or the Cloud Development Kit (CDK).
• Learn to implement automation scripts to streamline routine tasks and improve operational efficiency.
• Assist in setting up CI/CD pipelines.
• Monitoring and Alerting
• Help set up and configure monitoring and alerting systems to proactively identify and resolve issues.
• Collaborate with other teams to respond to and resolve incidents.
• Collaboration
• Work closely with development and production teams to ensure seamless integration of cloud services.
• Provide technical support and assistance to team members and stakeholders as needed.

• Bachelor's degree in Computer Science, Computer Engineering, or a related field.
• 0-2 years of experience in cloud engineering, software development or related fields.
• Experience with programming languages (e.g., Python, Bash) is mandatory.
• Experience with docker and containerization is a plus.
• Good understanding of Networking.
• Familiarity with infrastructure as code tools (Terraform, CloudFormation, CDK) is a plus.
• Knowledge of CI/CD pipelines, cloud architecture, security and DevOps practices is an advantage.
• Strong problem-solving skills, eagerness to learn, and excellent communication skills.
• Able to work independently.
• Interest in building a career as a Cloud Engineer with a focus on AWS.
• AWS certifications (e.g., AWS Certified Solutions Architect, AWS Certified Developer) are an added bonus, but not required.

The Environment We Offer

As a growing firm with a tightly-knit team, we respect and listen to all our employees. You will get the chance to make an impact by having your voice heard by everyone, including the management.

Our employees enjoy a high level of autonomy at work. We focus on substance, not form - as long as you can perform, you will be recognized and rewarded. We are also dedicated to supporting our staff and ensuring they develop holistically to maximize their potential in the long- term.

We also provide flexible working arrangement as required and a casual and fun environment to boot!

Key Responsibilities:

• Assist in the operation, maintenance, and troubleshooting of Building Management Systems (BMS) and Energy Management Systems (EMS).
• Understand and apply HVAC, Building Automation, and Energy Management systems to meet project specifications and ensure optimal system performance.
• Diagnose, troubleshoot, and resolve software and hardware issues in installed BMS and EMS systems.
• Analyze and resolve communication problems with control devices and other system components.
• Perform software preventive maintenance on installed BMS and EMS equipment to ensure system longevity and reliability.
• Support system commissioning and testing processes to verify that systems function as intended.
• Assist in system upgrades, ensuring compatibility with existing infrastructure and adherence to project timelines.

Key Requirements:

• Basic knowledge of HVAC systems, Building Automation, Energy Management, or related control systems.
• Familiarity with communication protocols such as BACnet, MODBUS, and LON.
• Strong troubleshooting skills for diagnosing and resolving system issues.
• Ability to work independently and as part of a team in a fast-paced environment.
• Good communication skills, both written and verbal.
• Proficiency in using software tools and diagnostic equipment for system maintenance and troubleshooting.
• Ability to learn new technologies and protocols quickly.

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

EA (18C9514/R23118479)

Job Type: Full-Time

About Us:
AV Intelligence is a premier provider of high-end audio-visual solutions in Singapore and Malaysia, specializing in customized home theaters, premium sound systems, and integrated AV solutions for residential and commercial spaces. We pride ourselves on exceptional service, quality, and innovation. We are currently looking for an AV Installation Assistant to join our team and support our installation operations.

Job Summary:
The AV Installation Assistant/Engineer will work closely with our skilled installation team to set up and configure audio-visual systems for our clients. This role is perfect for someone with a passion for AV technology, an eye for detail, and a commitment to delivering high-quality work.

Key Responsibilities:

• Assist/ conduct in the installation, configuration, and troubleshooting of AV systems, including home theaters, audio systems, and other AV equipment.
• Help in / conduct cutting ceilings, running and organizing cabling, wiring, and mounting of equipment.
• Ensure the proper setup, alignment, and calibration of equipment for optimal performance.
• Maintain and organize tools, equipment, and supplies required for installations.
• Assist in testing systems post-installation to verify functionality and quality.
• Provide support in educating clients on basic system operation and troubleshooting.

Qualifications:

• Prior experience in AV installation, electrical work, or technical support is an advantage but not required; training will be provided.
• Basic understanding of AV systems, components, and wiring (preferred).
• Ability to use basic hand tools and follow installation instructions accurately.
• Excellent attention to detail and commitment to quality work.
• Strong communication skills and a positive attitude.
• Physical ability to lift equipment and work on ladders as required.

Preferred Qualifications:

• Familiarity with AV brands and equipment is a plus.
• Basic understanding of audio calibration and setup is an advantage.

Working Hours:

• Full-time.
• 5 days a week
• 9:30am -6:30pm
• Closed on Public Holidays
• 14 days a year

Remuneration

• Basic
• Bonus subject to your and Company's performance
• Mobil allowance
• Transport allowance
• Your remueration will be subject to your experience.
• The salary will be range posted is including the minimum bonus

How to Apply:
Please send your resume and a brief cover letter to [email protected] with the subject line "AV Installation Assistant Application - AV Intelligence."

AV Intelligence is committed to creating an inclusive environment and welcomes applications from all qualified individuals.

About the Company:

Dbiz is a high-performing product and engineering company that partners with organizations to build out digital solutions using the right technology at the right time. We pride ourselves on our innovative use of technology in various ways.

Role Summary:

We are seeking a talented and experienced Senior Outsystems Developer to join our dynamic team. The ideal candidate will have a strong background in developing and implementing solutions using the Outsystems platform, with proficiency in .NET, SQL, and JavaScript. This role involves designing, developing, and optimizing applications to meet business needs effectively.

Key Responsibilities:

• Design, develop, and maintain applications using the Outsystems platform.
• Utilize .NET, SQL, and JavaScript to create robust and scalable solutions.
• Collaborate with business stakeholders to understand requirements and translate them into technical solutions.
• Implement best practices in coding and application development.
• Troubleshoot and resolve application issues, ensuring optimal performance and user experience.
• Perform code reviews and provide mentorship to junior developers.
• Stay current with Outsystems updates and emerging technologies to continuously enhance skills and knowledge.
• Ensure adherence to project timelines and deliver high-quality solutions within deadlines.

Qualifications:

• Bachelor’s degree in Computer Science, Information Technology, or a related field.
• 2+ years of professional experience in software development with a focus on Outsystems, .NET, SQL, and JavaScript.
• Proven experience in developing and deploying applications using the Outsystems platform.
• Strong proficiency in the .NET framework and associated technologies.
• Extensive experience with SQL databases and writing complex queries.
• Advanced knowledge of JavaScript and its frameworks/libraries.
• Excellent problem-solving skills and attention to detail.
• Strong communication skills and ability to work collaboratively in a team environment.
• Experience in agile development methodologies is a plus.

Preferred Skills:

• Certifications in Outsystems or related technologies.
• Experience with the integration of Outsystems with other systems and APIs.
• Knowledge of cloud platforms and DevOps practices.

Life at Dbiz:

• Competitive salary and attractive benefits
• Dynamic and innovative work environment
• Opportunities for personal growth and development
• Engaging and collaborative company culture

Job Title: Assistant Field Service Engineer (1-Year Contract)

Company: [Global MNC Company in Power Solutions]

Location: [Location]

Job Summary:
Join our team as an Assistant Field Service Engineer, where you will assist in testing, commissioning, and startup operations for transformers and switchgear. Ideal candidates have 1-2 years of experience in electrical engineering or field service, with a strong interest in power equipment and safety practices.

Key Responsibilities:

• Support the testing, commissioning, and start-up of transformers and switchgear on-site.
• Assist senior engineers in troubleshooting and ensuring systems operate according to specifications.
• Conduct routine inspections, maintenance, and documentation of service activities.
• Adhere to all safety guidelines and work collaboratively with on-site teams to ensure smooth operations.

Qualifications:

• Diploma in Electrical Engineering or a related field.
• 1-2 years of experience in field service, ideally with power systems or heavy electrical equipment.
• Basic knowledge of transformers, switchgear, and safety standards.
• Strong communication skills and willingness to travel to various project sites.

For interested applicant, kindly send your resume in Word/PDF format to include the following in your resume:

1. Current Salary

2. Expected Salary

3. Availability

4. Reason for leaving

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

License No: 23S1595

Registration No: R23116355

ABOUT SEMBCORP INDUSTRIES

Sembcorp Industries (Sembcorp) is a leading energy and urban solutions provider, led by its purpose to drive energy transition.

Headquartered in Singapore, Sembcorp delivers sustainable solutions to support energy transition and urban development by leveraging its sector expertise and global track record.

Sembcorp has a balanced energy portfolio of 21.2GW, with 14.4GW of gross renewable energy capacity across 10 countries*.

Its urban development projects span over 14,000 hectares across Asia and have generated over 377,000 employment opportunities and attracted close to US$50 billion of investment capital.

Sembcorp is listed on the main board of the Singapore Exchange. It is a constituent stock of FTSE Russell Index, MSCI Singapore Index, Straits Times Index as well as sustainability indices including FTSE4Good Index, iEdge SG ESG indices and several MSCI ESG indices.

For more information, please visit www.sembcorp.com.

Purpose and Scope

Reporting to the Chief Marketing Officer, you will be responsible to establish networks and strong relationship built with international prospects, business partners and trade agencies in the Semiconductor industry with the prime objective of securing tenancy for our projects in China, Indonesia, Vietnam and future developments around Asia. This role is based in Singapore.

Key Roles and Responsibilities

Marketing strategy

• Be among the first to know when a Semiconductor company is thinking of entering the markets that we operate in through established channels and market intelligence
• Segment, Target, Populate and effectively reach-out to each client to create an interest with the prime objective of securing a lease commitment.
• Leverage on agencies and value-add partners (banks, trade bodies, quasi-governmental agencies, business services) to generate leads, referrals and support in making the marketing drive creditable and effective.
• Organise through partnership/collaboration with like-minded business partners, project-focused investment events, roadshows and forums to create interest and awareness for our projects with the prime objective of generating marketing leads for subsequent cultivation and realisation.

Marketing tactics

• Frequent hosting of site visits to the countries we operate in (Vietnam, Indonesia, China etc) to gauge the level of seriousness in clients after first business interaction and increase the chance of a deal-closure.
• Presenting at marketing-related roadshows, forums and events to raise awareness and generate interest in our projects to target audience. Final objective is to convert awareness to leads for cultivation.
• Meet 20 qualified clients per month to populate the prospects base and raise the possibility of deals closure. (prospects’ base should be 5-10x larger than the clients met).

Planning & budgeting

• Comply with pre-set budgets, spending limits and declarations.

Qualification, Skills and Experience

• Accredited Degree in Marketing, Economics, Business Studies or Real Estate. Additional degree or major in EEE will be an added advantage.
• 8 years and more working experience in the semi-conductor (EEE) industry or cluster is needed for the incumbent to be competent in the working knowledge and to have a strong network of relevant contacts.
• Effective communication skills – presenting, writing and communicating.
• Proven track record in closing deals / contracts.
• Travel up to 50% of the time at peak period.
• Knowledgeable of Powerpoint, MSExcel and MSWord esp in slides creation and presentation.

At Sembcorp, our shared corporate behaviours underpin all the work that we do in building a sustainable future:

•Institution-first Mindset – Put the interest of the Group ahead of individual interests.

•Collaboration – Deliver through collaborating across markets, businesses and functions.

•Accountability – Hold team and self accountable to deliver on our commitments.

Apply today to be part of the team that #DriveEnergyTransition!

#OneSembcorp # Urban #Semiconductor

• Mondays to Fridays; Office hours

• Walking distance from MRT Station

• Salary: S$2500-2800/month

Job Responsibilities:

• Perform total preventive maintenance (TPM) procedures, inspections, basic troubleshooting on mechanical and hydraulic equipment/equipment failure

• Conduct regular maintenance tasks at the facilities

• Allocate appropriate resources to execute work orders

• Assess the need of mechanical spare parts to avoid delays in TPM

• Maintain and complete timely records

• Organise small workshop activities, incorporate efficient ways to maintain new equipment/plant, supervise external vendors

• Be involved in installation and commissioning processes

• Ensure all maintenance activities carried out are according to policies and regulations

• Assist Maintenance Supervisor (Mechanical) when needed

• Perform ad-hoc duties as required

Job Requirements:

• Minimum NITEC / Diploma in Mechanical Engineering or equivalent and above

• Minimum 1-2 years’ experience in a Power Plant environment

• Preferrable to have knowledge in plant operations

Interested and suitable candidates, please email your CV in MS Word to

[email protected]

Ammerline Lam Sze Yi (Ms)

Division Manager

CEI Registration No.: R1104463

Celecti Pte Ltd.

EA License: 16C8045

Personal Data Protection

“By submitting your curriculum vitae or disclosing your personal information in connection with your job application, you are deemed to have read and agreed to the terms of our Privacy Policy, and consented to the collection, use and disclosure of your personal data by us, in accordance with our Privacy Policy. Please access our website at www.celecti.com.sg for a copy of our Privacy Policy.”

We are seeking a electrical technician to join ourteam in Singapore.

The ideal candidate should

Job responsibilities

- installation of all types of CCTV/ door access ,etc.

- perform service & repair all types of CCTV/door access system.

- perform checking maintenance andtroubleshooting of CCTV/door access.

- Any other duties as assigned by Managerduring project, from time to time.

- perform handover with customer after jobcompleted.

Job requirement

- At least 4 Year(s) of working experience inelectrical work /installation /

- Have ITC/Diploma in Electrical may bepreferred.

- Be mild-tempered

- Be able to work overtime when required.

- Applicant with CSOC/BCSS cert may bepreferred.

- Required language (s): English (written andspoken)

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

• Performs administrative functions and provides administrative support to project team and/or executive group in field or office as designated by management.
• Transcribe and distribute project documents and correspondence such as the subcontract base, subcontracts, purchase orders and various letters, create and maintain paper and electronic project flies according to company’s guidelines.
• Maintain and track project information for project team as directed.
• Follow up with subcontractors regarding project paperwork, eg. claim, certificate, delivery order etc as needed.
• Assist project team with closeout coordination and preparation of O & M manuals.
• Work with Executive Director / project manager(s) a directed to achieve departmental objectives.
• Assist Executive Director / project managers to prepare project documentation, eg cashflow, progress claim to client, project insurance, schedules etc.
• Order supplies for project team/office.
• Maintain personal, office and jobsite space and filing in a neat and organized manner.
• Set up project binders and order project drawings from local printing resources.
• Assist project team in the preparation and distribution of project punch lists to venders/subcontractors.
• Archive all project documentation according to company and/or client requirement.
• Participate in project and/or team meetings as needed.
• Assist with daily planning of managers schedules, meetings, interviews and possibly travel (through corporate agency), if assigned.
• Assist in the implementation of new procedures as designated by company.

We are seeking a dynamic Junior Backend Engineer to provide a quick and satisfactory service at our agents' fingertips tailored to the local challenges to resolve our customer issues. The Agent Platform global team develops solutions for service agents across all DeliveryHero brands including foodpanda to serve a holistic group of users which includes customers, vendors and riders.

Responsibilities:

• Designing and implementing the features which will be used across the global platform.
• Manage project priorities, deadlines and deliverables within autonomous teams.
• Contributing to designing and evolving the system architecture to meet current needs and support future growth and technologies.
• Enforcing coding standards and conducting thorough code reviews to maintain high-quality codebase. Implement automated testing frameworks to catch bugs early and ensure software reliability.
• Work in a cross-functional and international team to deliver a holistic solution.
• Good understanding and independent application of cloud environment, CI/CD, testing and validation.
• Independently applies design patterns and best practices in reliability management (resiliency, autoscaling, monitoring, alerting).
• Identifying and resolving complex technical issues in software and infrastructure, continuously optimising for performance and scalability.

1) General Administrative and Logistic Support

• Assist in general administrative tasks, such as data processing, sourcing for quotations, and documentation.
• Provide support in scheduling training/briefing and coordinating the relevant logistics and administrative work.
• Manage logistics, including venue booking, equipment setup, and catering (if applicable) for training workshops.
• Respond to inquiries and emails, as needed.

2) Singapore Specialist Training Standards Portfolio and Accreditation of Postgraduate Medical Education Singapore (APMES) Portfolio

• Work with internal and external stakeholders and assist the team in meeting the timelines for the implementation of national initiatives for residency training, including but not limited to tracking of submission of specialty training requirement documents, milestone documents and programme information forms, etc.
• Assist in organising/facilitating meetings/workshops where needed, including but not limited to sending meeting invitation, preparation of meeting agenda and material etc.

3) Support for postgraduate year one workstream:

• Work closely with the programme coordinators from various training institutions and to obtain information on trainees’ performance for national evaluation committee’s recommendation.
• Prepare certifications of graduating trainees and ensure accurate dissemination of information to the relevant stakeholders.
• Assist in organising/facilitating meetings/workshops where needed, including but not limited to sending meeting invitation, preparation of meeting agenda and material etc.

4) Postgraduate Medical Education Assessments :

• Support examination administrative and operational processes
• Liaise with key stakeholders (including senior clinicians) on examination matters and ensure key milestones are met
• Provide basic IT support to key stakeholders
• Check invoices to process payments to external vendors

5) Any other general administrative and logistics support duties for other projects as assigned.

• MNC - subsidiary office
• Attractive Benefits
• 5 days work week

Job Description

• Responsible for projects management (pre-sales), technical activities including AutoCad drawings & electrical wirings
• Liaise with sub-contractors, vendors and customers for costs & leadtime
• Liaise with local and overseas customers
• Time and cost management of projects

Requirements

• ITE Diploma
• Knowledge in Autocad is a must
• Microsoft Office & Excel
• Good electrical & wiring background would be an advantage
• Knowledge in explosion proof product is a plus but not a must
• Well organised with good attention to details

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

• Internships are designed to introduce and build essential, hands on skills that differ from those attained in the academic arena and help to enhance the transition from student to professional. 
• Interns are assigned duties that will provide a broad, well-rounded learning experience within their field of study
• Intern 1 – completion of first year of qualified study

As a Salvage engineer, the world is your playground. You never know when or where a ship gets into trouble. That is why for a Salvage Engineer literally every day is different. It sounds like a cliché, but it is the reality. As a Salvage Engineer, you will have an adventurous job. When a ship is in distress, you will travel to the emergency scene with a multidisciplinary team. Once on-site, you work together with the team to repair the ship's plant and get the systems up and running again. It is vital to salvage the vessel as quickly as possible. As well as working on actual ship salvage operations.

Your responsibilities as a Salvage Engineer

• As part of the mobile team, provide support to the Salvage Master/Project Manager at site.
• When at base, assisting the technical manager and the operations manager in the selection of new salvage equipment and setting up the right maintenance procedures.
• Maintaining company owned salvage equipment.
• Sharing knowledge with other engineers about complex ship's systems.
• Advising the salvage inspector and superintendent about how to break into existing ship's systems in order to use them during the salvage operation.
• Producing reports about the actions taken to get systems operational again. As you can expect from a leading international maritime service company, you will work with state-of-the-art equipment.

Your qualities
To make your mark as a salvage engineer with SMIT Salvage, you will need a flexible approach; you never know when or where your next project will be. You adapt easily to working with different teams and you are fully proficient in English. Of course, you are happy to work irregular hours and to spend longer periods of time abroad. In addition, you have:

• A minimum degree in any field with experience sailing onboard ships.
• Worked for at least 5 years on modern (merchant) ships.
• Preferably experience with a range of different types of vessels and engine-room plants.
• Willingness to work on weekends and public holidays frequently, with OT and allowances compensated.

About the role:

Performs general preventive maintenance and corrective repair of buildings, industrial systems, vehicles, equipment and grounds. Working under moderate supervision,assists in monitoring building system operations and performance.

What You'll Do:

• Complies with all applicable codes, regulations, governmental agency and Company directives related to
• building operations and work safety.
• Maintains all equipment as required per preventive maintenance programs prescribed by manufacturer's
• specifications.
• Performs housekeeping functions and maintains the professional appearances of the property,
• equipment, engineering spaces, and common areas.
• Maintains an energy management program to ensure measures are taken to operate all systems in the
• most efficient manner to keep operating costs at a minimum.
• Inspects building systems including fire alarms, HVAC, and plumbing to ensure operation of equipment is
• within design capabilities and achieves environmental conditions prescribed by client.
• Assists with troubleshooting and repairs of buildings and installed systems to include: plumbing systems,
• kitchen equipment, roofs, drains, shop, and HVAC.
• Performs assigned day-to-day repairs, emergency and preventive maintenance. Completes maintenance
• and repair records as required.
• Maintains the building lighting system, including element and ballast repairs or replacements.
• Performs welding, carpentry, furniture assembly and locksmith tasks as needed.
• Responds quickly to emergency situations, summoning additional assistance as needed.
• Performs other duties as assigned

What You’ll Need:

• Electrical qualification. Or equivalent combination of education and experience.
• Ability to respond to common inquiries or complaints from clients, co-workers, and/or supervisor.
• Ability to comprehend and interpret instructions, short correspondence, and memos and ask clarifying questions to ensure understanding. Ability to write routine reports and correspondence.
• Ability to respond to common inquiries or complaints from clients, co-workers, and/or supervisor

Job Description

• Develop detailed plans and architectures for radio frequency translation.

• Evaluate gain, noise parameters (NF, SNR), dynamic range, linearity, and power consumption to ensure the design is robust and predictable.

• Collaborate with CAD engineers to implement PCB designs, emphasizing clean power supply and interconnects for required EMI and RF transmission performance.

• Participate in design reviews and prepare documentation at all stages of development through to final prototype testing and characterization.

• Conduct parametric evaluation of transceivers including Pout, IMD/IP3, EVM, and noise parameters using spectrum analyzers, modulation analyzers, and perform wireless link-level functional evaluations to complete product characterization

• Collaborate with product engineers on certification procedures, New Product Introduction (NPI), and Transfer of Technology (ToT) for large-scale production.

Job Requirements

• Bachelor’s, Master’s, or PhD in Electronics Communication Engineering or Digital Communication Engineering.

• Minimum 4 years of experience as an RF system hardware engineer with a proven track record of meeting industry delivery standards in relevant areas.

• Strong interpersonal and creative skills, able to multitask in a demanding and fast-paced environment.

• Hands-on experience in designing and integrating RF, Analog, and Mixed Signal blocks such as PA, LNA, mixer, frequency synthesizer, filter, coupler, detector, microcontroller, etc., with knowledge of deriving specifications from system-level requirements.

• Experience with basic CAD tools and proficiency in evaluation workflows and operation of relevant test equipment to assess product performance

. • Experience in script writing (e.g., Bash, Python) is advantageous for test automation.

Please be informed that if you are interested in applying for a position, please email your resume in either Word or PDF format to [email protected]. In your resume, kindly include the following details:

1. Current Salary:
2. Expected Salary:
3. Availability:
4. Reason for leaving your current job:

Thank you for your application. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you hereby acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

As a Junior Environmental Engineer, you will play a crucial role in ensuring our projects adhere to environmental regulations and standards. You will be responsible for executing comprehensive environmental monitoring and management plans, providing technical advisory, and ensuring compliance with environmental policies. Your key responsibilities will include:

Your responsibilities as a Junior Environmental Engineer

• Execute an environmental monitoring and management plan to reduce and mitigate potential negative impacts on the environment.
• Assist in providing technical advisory on environmental policies and standards, ensuring regulatory compliance, and assessing project-specific environmental requirements and specifications.
• Conduct research and technical audits on the environmental impact of projects, analyse data, perform quality control checks, and conduct on-site inspections for instrumentation and monitoring works.
• Collaborate with scientists, engineers, subcontractors, and consultants to develop environmental solutions, and document and maintain plans, requirements, protocols, permits, and standard operating procedures.
• Develop requests for quotations for environmental monitoring scopes, assess environmentally related proposals from potential subcontractors, and contribute to construction risk assessments from an environmental management perspective.

Your qualities

You can make your mark as a Junior Environmental Engineer

• Bachelor’s degree in Environmental Science, Engineering, Marine, Geography, or a related field, with 0 to 3 years of relevant experience in environmental monitoring/management.
• Preferred knowledge of software such as Excel, Outlook, PowerPoint, CAD, and GIS; familiarity with programming languages like Python or R is advantageous.
• Full proficiency in English, both written and spoken, is required for effective communication with colleagues from diverse backgrounds and nationalities.
• Organized, analytical, proactive, self-motivated, and a good team player with strong problem-solving and interpersonal skills.
• Ability to work in a dynamic environment with various stakeholders, and flexibility to meet project requirements and deliverables, which may occasionally include weekends and public holidays.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2